Foundations of Software Science and Computational Structures
From MaRDI portal
Publication:5705900
DOI10.1007/b106850zbMath1119.03022MaRDI QIDQ5705900
Philippa Gardner, Cristiano Calcagno, Matthew Hague
Publication date: 10 November 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b106850
03B70: Logic in computer science
03B25: Decidability of theories and sets of sentences
68P05: Data structures
Related Items
Separation logics and modalities: a survey, Unnamed Item, On Temporal and Separation Logics, Program Verification with Separation Logic, Reasoning about sequences of memory states, Verify heaps via unified model checking, Completeness and expressiveness of pointer program verification by separation logic, A logic of reachable patterns in linked data-structures, On the Almighty Wand, A Spatial Equational Logic for the Applied π-Calculus