DOM: Specification and Client Reasoning
Venue
Asian Symposium on Programming Languages and Systems (APLAS) 2016
Publication date
Oct 2016
Identifiers
Authors
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.