DOM: Specification and Client Reasoning
Venue
Proceedings of the 13th Asian Symposium on Programming Languages and Systems (APLAS’16), pp. 401–422
Publication Year
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.