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
Asian Symposium on Programming Languages and Systems (APLAS) 2016
Publication Date
Oct 2016