Programming Languages and Systems
From MaRDI portal
Publication:5493398
DOI10.1007/11575467zbMath1159.68362MaRDI QIDQ5493398
Publication date: 20 October 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Related Items
Specification and verification challenges for sequential object-oriented programs ⋮ A compositional natural semantics and Hoare logic for low-level languages ⋮ A Characterisation of Lambda Definability with Sums Via ⊤ ⊤-Closure Operators ⋮ Certificates and Separation Logic
