Program logic and equivalence in the presence of garbage collection.

DOI10.1016/S0304-3975(02)00868-XzbMath1038.68011MaRDI QIDQ1874283

Cristiano Calcagno, Richard Bornat, Peter W. O'Hearn

Publication date: 25 May 2003

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

observational equivalence

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items

On assertion-based encapsulation for object invariants and simulations, Specification and verification challenges for sequential object-oriented programs, Observational purity and encapsulation, Formally verifying exceptions for low-level code with separation logic, Local local reasoning: a BI-hyperdoctrine for full ground store

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Sheaves in geometry and logic: a first introduction to topos theory
• A variable typed logic of effects
• BI as an assertion language for mutable data structures