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
Web mashups are complex programs that dynamically compose XML data and JavaScript code from many sou...
A look at the HTML Document Object Model, and how JavaScript uses it to manipulate the contents of W...
JavaScript is the most widely used web language for client-side ap-plications. Whilst the developmen...
This thesis explores the challenges in abstract library specification, library refinement and reason...
The W3C Document Object Model (DOM) specifies an XML update library. DOM is written in English, and ...
JavaScript as a Web scripting language has been widely used following the fast growth of Internet. D...
The W3C Document Object Model (DOM) specifies an XML update library. DOM is written in English, and ...
TheW3CDocument Object Model (DOM) specifies an XML update library. DOM is written in English, and is...
The highly dynamic nature of JavaScript, coupled with its intricate semantics, makes the understandi...
International audienceThe Document Object Model (DOM) is the document manipulation API provided to t...
At its core, the Document Object Model (DOM) defines a tree-like data structure for representing doc...
In this AFP entry, we formalize the core of the Document Object Model (DOM). At its core, the DOM de...
The dynamic nature of JavaScript and its complex semantics make it a difficult target for logic-base...
Web applications are fundamentally reactive. Code in a web page runs in reaction to events, which ar...
O’Hearn, Reynolds and Yang introduced local Hoare reasoning about mutable data structures using sepa...
Web mashups are complex programs that dynamically compose XML data and JavaScript code from many sou...
A look at the HTML Document Object Model, and how JavaScript uses it to manipulate the contents of W...
JavaScript is the most widely used web language for client-side ap-plications. Whilst the developmen...
This thesis explores the challenges in abstract library specification, library refinement and reason...
The W3C Document Object Model (DOM) specifies an XML update library. DOM is written in English, and ...
JavaScript as a Web scripting language has been widely used following the fast growth of Internet. D...
The W3C Document Object Model (DOM) specifies an XML update library. DOM is written in English, and ...
TheW3CDocument Object Model (DOM) specifies an XML update library. DOM is written in English, and is...
The highly dynamic nature of JavaScript, coupled with its intricate semantics, makes the understandi...
International audienceThe Document Object Model (DOM) is the document manipulation API provided to t...
At its core, the Document Object Model (DOM) defines a tree-like data structure for representing doc...
In this AFP entry, we formalize the core of the Document Object Model (DOM). At its core, the DOM de...
The dynamic nature of JavaScript and its complex semantics make it a difficult target for logic-base...
Web applications are fundamentally reactive. Code in a web page runs in reaction to events, which ar...
O’Hearn, Reynolds and Yang introduced local Hoare reasoning about mutable data structures using sepa...
Web mashups are complex programs that dynamically compose XML data and JavaScript code from many sou...
A look at the HTML Document Object Model, and how JavaScript uses it to manipulate the contents of W...
JavaScript is the most widely used web language for client-side ap-plications. Whilst the developmen...
DOI
Add to ORKG