scientific article
From MaRDI portal
Publication:2729060
zbMath0971.68584MaRDI QIDQ2729060
No author found.
Publication date: 6 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (8)
ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs ⋮ Relating Functional and Imperative Session Types ⋮ Static typing for a substructural lambda calculus ⋮ Resources, concurrency, and local reasoning ⋮ Formalizing Soundness of Contextual Effects ⋮ Formalisation and implementation of an algorithm for bytecode verification of \(\@\)NonNull types ⋮ Unnamed Item ⋮ Separation Logic Contracts for a Java-Like Language with Fork/Join
This page was built for publication:
