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:40 - 10 self

Documents Related by Co-Citation

237 Local Reasoning about Programs that Alter Data Structures – Peter O'Hearn, John Reynolds, Hongseok Yang - 2001
582 Separation Logic: A Logic for Shared Mutable Data Structures – John Reynolds - 2002
121 BI as an Assertion Language for Mutable Data Structures – Samin Ishtiaq, Peter W. O'Hearn - 2000
56 Bigraphs and Mobile Processes (revised) – Ole Høgh Jensen, Robin Milner - 2004
172 The Logic of Bunched Implications – Peter W. O'Hearn, David J. Pym - 1999
148 Anytime, anywhere: modal logics for mobile ambients – Luca Cardelli, Andrew D. Gordon - 2000
56 A Spatial Logic for Querying Graphs – Luca Cardelli, Philippa Gardner, Giorgio Ghelli - 2001
46 Deciding Validity in a Spatial Logic for Trees – Cristiano Calcagno, Luca Cardelli, Andrew D. Gordon - 2003
148 as an assertion language for mutable data structures – BI - 2001
88 The Semantics and Proof Theory of the Logic of Bunched Implications – David J Pym
16 Spatial Logics for Bigraphs – Giovanni Conforti, Damiano Macedonio, Vladimiro Sassone - 2005
38 A Semantic Basis for Local Reasoning – Hongseok Yang, Peter O'Hearn - 2002
19 Ambient logic – L Cardelli, A D Gordon - 2006
34 Axioms For Bigraphical Structure – Robin Milner - 2005
57 Bigraphical reactive systems – R Milner - 2001
470 Data on the Web: From Relations to Semi structured Data and XML – S Abiteboul, P Buneman, D Suciu - 1999
119 Permission accounting in separation logic – R Bornat, C Calcagno, P W O’Hearn, M J Parkinson - 2005
7 Bigraphical Logics for XML – Giovanni Conforti , Damiano Macedonio, Vladimiro Sassone - 2005
33 Bigraphs for Petri nets – Robin Milner - 2004