Matches in SemOpenAlex for { <https://semopenalex.org/work/W56515545> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W56515545 abstract "The 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 with a minimal set of commands and obtain a complete reasoning for straight-line code. Our work transfers O’Hearn, Reynolds and Yang’s local Hoare reasoning for analysing heaps to XML, viewing XML as an in-place memory store as does DOM. In particular, we apply recent work by Calcagno, Gardner and Zarfaty on local Hoare reasoning about a simple tree-update language to DOM, showing that our reasoning scales to DOM. Our reasoning not only formally specifies a significant subset of DOM Core Level 1, but can also be used to verify e.g. invariant properties of simple Javascript programs." @default.
- W56515545 created "2016-06-24" @default.
- W56515545 creator A5047951273 @default.
- W56515545 creator A5052030545 @default.
- W56515545 creator A5084571865 @default.
- W56515545 creator A5088715257 @default.
- W56515545 date "2008-01-01" @default.
- W56515545 modified "2023-09-24" @default.
- W56515545 title "DOM: Towards a Formal Specification" @default.
- W56515545 cites W1495368328 @default.
- W56515545 cites W1974265510 @default.
- W56515545 cites W1981382949 @default.
- W56515545 cites W2074457838 @default.
- W56515545 cites W2132761501 @default.
- W56515545 cites W2137628566 @default.
- W56515545 cites W2152686702 @default.
- W56515545 cites W3021508791 @default.
- W56515545 cites W88647010 @default.
- W56515545 cites W2473520598 @default.
- W56515545 hasPublicationYear "2008" @default.
- W56515545 type Work @default.
- W56515545 sameAs 56515545 @default.
- W56515545 citedByCount "0" @default.
- W56515545 crossrefType "journal-article" @default.
- W56515545 hasAuthorship W56515545A5047951273 @default.
- W56515545 hasAuthorship W56515545A5052030545 @default.
- W56515545 hasAuthorship W56515545A5084571865 @default.
- W56515545 hasAuthorship W56515545A5088715257 @default.
- W56515545 hasConcept C136764020 @default.
- W56515545 hasConcept C137922610 @default.
- W56515545 hasConcept C173856430 @default.
- W56515545 hasConcept C199360897 @default.
- W56515545 hasConcept C41008148 @default.
- W56515545 hasConcept C544833334 @default.
- W56515545 hasConcept C8797682 @default.
- W56515545 hasConceptScore W56515545C136764020 @default.
- W56515545 hasConceptScore W56515545C137922610 @default.
- W56515545 hasConceptScore W56515545C173856430 @default.
- W56515545 hasConceptScore W56515545C199360897 @default.
- W56515545 hasConceptScore W56515545C41008148 @default.
- W56515545 hasConceptScore W56515545C544833334 @default.
- W56515545 hasConceptScore W56515545C8797682 @default.
- W56515545 hasLocation W565155451 @default.
- W56515545 hasOpenAccess W56515545 @default.
- W56515545 hasPrimaryLocation W565155451 @default.
- W56515545 hasRelatedWork W1486107875 @default.
- W56515545 hasRelatedWork W1497715420 @default.
- W56515545 hasRelatedWork W1541178746 @default.
- W56515545 hasRelatedWork W1551207508 @default.
- W56515545 hasRelatedWork W1570135703 @default.
- W56515545 hasRelatedWork W1668790119 @default.
- W56515545 hasRelatedWork W2023234892 @default.
- W56515545 hasRelatedWork W202924988 @default.
- W56515545 hasRelatedWork W2126895750 @default.
- W56515545 hasRelatedWork W2200589669 @default.
- W56515545 hasRelatedWork W2277621482 @default.
- W56515545 hasRelatedWork W2493975225 @default.
- W56515545 hasRelatedWork W2772415772 @default.
- W56515545 hasRelatedWork W2952694018 @default.
- W56515545 hasRelatedWork W3021508791 @default.
- W56515545 hasRelatedWork W3108261755 @default.
- W56515545 hasRelatedWork W3126806487 @default.
- W56515545 hasRelatedWork W3148616553 @default.
- W56515545 hasRelatedWork W591645293 @default.
- W56515545 hasRelatedWork W1545863719 @default.
- W56515545 isParatext "false" @default.
- W56515545 isRetracted "false" @default.
- W56515545 magId "56515545" @default.
- W56515545 workType "article" @default.