We present an axiomatic specification of a key fragment of DOM using structural separation logic. This specification allows us to develop modular reasoning about client programs that call the DOM.
CITATION STYLE
Raad, A., Santos, J. F., & Gardner, P. (2016). DOM: Specification and client reasoning. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10017 LNCS, pp. 401–422). Springer Verlag. https://doi.org/10.1007/978-3-319-47958-3_21
Mendeley helps you to discover research relevant for your work.