Output details
11 - Computer Science and Informatics
Imperial College London
Output title
Local Hoare Reasoning about DOM
Type
E - Conference contribution
Name of conference/published proceedings
27th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS 2008)
Volume number
-
Issue number
-
First page of article
261
ISSN of proceedings
-
Year of publication
2008
URL
-
Number of additional authors
3
Additional information
<11>The W3C DOM is the XML update library standard used by all browsers. This paper gives a formal specification of featherweight DOM showing, for the first time, that separation-logic techniques can be used to specify complex structured data libraries. This has led to: (1) a full specification of DOM Core Level 1 (Smith's thesis); (2) reasoning techniques about fault-free mashups (VSTTE'10); (3) a keynote at the first workshop on XML update, ICDT/EDBT 2010 (database conferences); (4) Resource Reasoning programme grant (EP/H008373/1 PI: O'Hearn), (5) an invitation to NSF workshop on scalable data analysis 2013, to propose NSF institute.
Acceptance; 31%/159
Interdisciplinary
-
Cross-referral requested
-
Research group
E - Programming Languages and Systems
Citation count
12
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
