A Context Logic for Tree Update (2004)

by Cristiano Calcagno , Philippa Gardner , Uri Zarfaty
Venue:In Proceedings of Workshop on Logics for Resources, Processes and Programs (LRPP’04
Citations:44 - 10 self

Documents Related by Co-Citation

272 Local Reasoning about Programs that Alter Data Structures – Peter O'Hearn, John Reynolds, Hongseok Yang - 2001
711 Separation Logic: A Logic for Shared Mutable Data Structures – John Reynolds - 2002
149 BI as an Assertion Language for Mutable Data Structures – Samin Ishtiaq, Peter W. O'Hearn - 2000
194 The Logic of Bunched Implications – Peter W. O'Hearn, David J. Pym - 1999
158 Resources, Concurrency and Local Reasoning – Peter W. O’Hearn - 2004
59 Bigraphs and Mobile Processes (revised) – Ole Høgh Jensen, Robin Milner - 2004
164 Anytime, anywhere: modal logics for mobile ambients – Luca Cardelli, Andrew D. Gordon - 2000
55 A Semantic Basis for Local Reasoning – Hongseok Yang, Peter O'Hearn - 2002
62 A Spatial Logic for Querying Graphs – Luca Cardelli, Philippa Gardner, Giorgio Ghelli - 2001
162 as an assertion language for mutable data structures – BI - 2001
141 Permission accounting in separation logic – Richard Bornat, Cristiano Calcagno, Matthew Parkinson - 2005
128 Separation Logic and Abstraction – Matthew Parkinson, Gavin Bierman - 2005
100 The Semantics and Proof Theory of the Logic of Bunched Implications. Kluwer Applied Logic Series – D J Pym - 2002
22 Ambient logic – L Cardelli, A D Gordon - 2005
52 Deciding Validity in a Spatial Logic for Trees – Cristiano Calcagno, Luca Cardelli, Andrew D. Gordon - 2003
76 Local action and abstract separation logic – Cristiano Calcagno, Peter W. O’Hearn, Hongseok Yang - 2007
19 Context logic as modal logic: completeness and parametric inexpressivity – C Calcagno, P Gardner, U Zarfaty - 2007
22 Spatial Logics for Bigraphs – Giovanni Conforti, Damiano Macedonio, Vladimiro Sassone - 2005
114 Smallfoot: Modular automatic assertion checking with separation logic – Josh Berdine, Cristiano Calcagno, Peter W. O’hearn - 2005