Context logic and tree update

ACM SIGPLAN Notices

Volumn 40, Issue 1, 2005, Pages 271-282

  Calcagno, Cristiano ^a   Gardner, Philippa ^a   Zarfaty, Uri ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

Contexts; Hoare logic; Tree update

Indexed keywords

AMBIENT LOGIC; CONTEXTS; HOARE LOGIC; TREE UPDATE;

DATA ACQUISITION; DATA STRUCTURES; FORMAL LOGIC; MATHEMATICAL MODELS; SEMANTICS; XML;

TREES (MATHEMATICS);

EID: 17044393347     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/1047659.1040328     Document Type: Conference Paper

References (12)

1. S. Abiteboul, P. Buneman, and D. Suciu. Data on the Web: from relations to semistructured data and XML. Morgan Kaufmann, 1999.
2. N. Biri and D. Galmiche. A separation logic for resource distribution. In 23rd Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), 2003.
3. C. Calcagno, P. Gardner, and U. Zarfaty. A context logic for tree update. In Proceedings of Workshop on Logics for Resources, Processes and Programs (LRPP'04), 2004.
4. L. Cardelli, P. Gardner, and G. Ghelli. Querying trees with pointers. Unpublished Notes, 2003; talk at APPSEM 2001.
5. L. Cardelli and A. D. Gordon. Mobile ambients. Theoretical Comput. Sci., 240:177-213, 2000.
6. S. Ishtiaq and P. O'Hearn. BI as an assertion language for mutable data structures. In 28th POPL, pages 14-26, London, January 2001.
7. P. O'Hearn, J. Reynolds, and H. Yang. Local reasoning about programs that alter data structures. In L. Fribourg, editor, Computer Science Logic (CSL'01), pages 1-19. Springer-Verlag, 2001. LNCS 2142.
8. D. Pym. The Semantics and Proof Theory of the Logic of Bunched Implications. Applied Logic Series. Kluwer Academic Publishers, 2002. http://www.dcs.qmul.ac.uk/~pym/Papersage/bunch.ps.
9. J. Reynolds. Separation logic: a logic for shared mutable data structures. Invited Paper, LICS'02, 2002.
10. I. Tatarinov, Z. G. Ives, A. Y. Halevy, and D. S. Weld. Updating XML. SIGMOD 2001, Santa Barbara, CA.
11. H. Yang and C. Calcagno. Completeness results for Context Logic and BI. In preparation, 2004.
12. H. Yang and P. O'Hearn. A semantic basis for local reasoning. Proceedings of FOSSACS, 2002.