- Azalea Raad
- José Fragoso Santos
- Philippa Gardner
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.
Proceedings of the 13th Asian Symposium on Programming Languages and Systems (APLAS’16), pp. 401–422