DOM: Specification and Client Reasoning

Authors

Azalea Raad
José Fragoso Santos
Philippa Gardner

Abstract

We present an axiomatic specification of a key fragment of DOM using structural separation logic. This specfication allows us to develop modular reasoning about client programs that call the DOM.

Venue

Proceedings of the 13^th Asian Symposium on Programming Languages and Systems (APLAS’16), pp. 401–422

Publication Date

2016

Identifiers

DOI: doi:10.1007/978-3-319-47958-3_21

Source Materials

Authors' Preprint/Accepted Version
Published Edition
BibTeX Citation