Local Hoare reasoning about DOM

Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems

Volumn , Issue , 2008, Pages 261-270

  Gardner, Philippa A ^a   Smith, Gareth D ^a   Wheelhouse, Mark J ^a   Zarfaty, Uri D ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

Languages; Theory; Verification

Indexed keywords

BIOLOGICAL MATERIALS; MARKUP LANGUAGES; REAL TIME SYSTEMS; XML;

COMPOSITIONAL SPECIFICATIONS; CORE LEVELS; DOCUMENT OBJECT MODELS; INVARIANT PROPERTIES; JAVASCRIPT PROGRAMS; LANGUAGES; LINE CODES; REYNOLDS; THEORY; TREE UPDATES; XML UPDATES;

DATABASE SYSTEMS;

EID: 57349103123     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1376916.1376953     Document Type: Conference Paper

References (15)

1. J. Berdine, C. Calcagno, B. Cook, D. Distefano, P. O'Hearn, T. Wics, and H. Yang. Shape analysis for composite data structures. In CAV, 2007.
2. J. Berdine, G. Calcagno, and P. O'Hearn. Smallfoot: Modular automatic assertion checking with separation logic. In FMCO, 2006.
3. C. Calcagno, P. Gardner, and U. Zarfaty. Context logic & tree update. In POPL, 2005.
4. C. Calcagno, P. Gardner, and U. Zarfaty. Context logic as modal logic: Completeness and parametric inexprcssivity. In POPL, 2007.
5. P. Gardner, G. Smith, M. Wheelhouse, and U. Zarfaty. Local Hoarc reasoning about DOM. Extended version, available online at http://www.doc.ic.ac. uk/-pg/publications.html.
6. S. Isthiaq and P. O'Hearn. BI as an assertion language for mutable data structures. In POPL, 2001.
7. P. O'Hearn, J. Reynolds, and H. Yang. Local reasoning about programs that alter data structures. In CSL, 2001.
8. P. W. O'Hearn. Resources, concurrency and local reasoning. TCS, 375(l-3):271-307, May 2007.
9. J. Orendorff. Compliance Patches for minidom. Included with Python, 2007. Sec http://bugs.python.org/issuel704134.
10. G. Smith. A context logic approach to the analysis and specification of xml update. PhD 1st year report, 2006.
11. Various, xml.dom.minidom, 2006. http://docs.python.org/lib/module-xml. dom.minidom.html.
12. W3C. Document Object Model (DOM) Level 1 Specification (2nd Ed.). Working draft, 2000. http://www.w3.org/TR/2000/WD-D0M-Level-1-20000929/.
13. W3C. DOM: Document Object Model. W3C recommendation. 2005. Sec http://www.w3.org/D0M/.
14. M. Wheelhouse. DOM: Towards a formal specification. Master's thesis, Imperial College, 2007.
15. U. Zarfaty and P. Gardner. Local reasoning about tree update. In MFPS, 2006.