Export Citations
1 Results for: Keyword: local hoare reasoning
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,832,676 records)|Limit your search to The ACM Full-Text Collection (772,752 records)
Select All
- research-articleJune 2008
Local Hoare reasoning about DOM
PODS '08: Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systemsPages 261–270https://doi.org/10.1145/1376916.1376953The W3C Document Object Model (DOM) specifies an XML update library. DOM is written in English, and is therefore not compositional and not complete. We provide a first step towards a compositional specification of DOM. Unlike DOM, we are able to work ...