Context logic and tree update

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 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

CONTEXT SENSITIVE LANGUAGES; DATA STRUCTURES; TREES (MATHEMATICS);

CONTEXTS; HOARE LOGIC; TREE UPDATES;

LOGIC PROGRAMMING;

EID: 29244442315     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1040305.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.