Programming Languages and Systems

DOI10.1007/11693024zbMath1178.03077OpenAlexW2491912653MaRDI QIDQ5899013

No author found.

Publication date: 2 May 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11693024

Mathematics Subject Classification ID

Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Automated verification of shape, size and bag properties via user-defined predicates in separation logic ⋮ Formal verification of a C-like memory model and its uses for verifying program transformations

Uses Software

• Spec#
• ESC/Java

This page was built for publication: Programming Languages and Systems