Matches in SemOpenAlex for { <https://semopenalex.org/work/W2015193668> ?p ?o ?g. }
Showing items 1 to 38 of
38
with 100 items per page.
- W2015193668 abstract "In PODS 2008, I presented a paper on a formal, compositional specification of the Document Object Model (DOM), a W3C XML Update library. This work concentrated on Featherweight DOM, a small fragment of DOM which focuses on the XML tree structure and simple text nodes. Since the formal reasoning is compositional, we are able to work with a minimal set of commands and obtain complete reasoning for straight-line code. We are also able to verify, for example, invariant properties of simple DOM programs.This work is based on a recent breakthrough in program verification, based on analysing a program's use of resource. The idea is that the reasoning should follow the programmers' intuitions about which part of the computer memory the program touches. This style of reasoning was introduced by O'Hearn (Queen Mary) and Reynolds (CMU) in their work on Separation Logic for reasoning modularly about large C-programs (e.g. Microsoft device driver code, Linux). I substantially extended the range of local resource reasoning, introducing Context Logic to reason about programs that directly manipulate complex data structures such as XML.In this survey talk, I will give an overview of our theoretical and practical work on reasoning about DOM, highlighting recent developments which include:1. the extension of this work to DOM Core Level 1. A substantial piece of work, not because of the reasoning, but because full DOM is large, underspecified and difficult to interpret, with no consensus between browsers;2. reasoning about the combination of JavaScript and DOM to provide, for example, secure mashups for a more flexible, secure integration of outsourced payment services;3. on-going work on a verification tool for automatically reasoning about DOM programs and the identification of key examples of web applications on which to test our DOM reasoning: e.g., with current technology, we can prove by hand that mashup programs are fault free; with our tool, such proofs will be automatic.An ultimate challenge is to develop the necessary reasoning technology to provide a safe and secure web environment on which to build the next generation of web applications, thus demonstrating the scientific feasibility of a reliable Web." @default.
- W2015193668 created "2016-06-24" @default.
- W2015193668 creator A5047951273 @default.
- W2015193668 date "2010-03-22" @default.
- W2015193668 modified "2023-09-23" @default.
- W2015193668 title "Reasoning about client-side web programs" @default.
- W2015193668 doi "https://doi.org/10.1145/1754239.1754261" @default.
- W2015193668 hasPublicationYear "2010" @default.
- W2015193668 type Work @default.
- W2015193668 sameAs 2015193668 @default.
- W2015193668 citedByCount "0" @default.
- W2015193668 crossrefType "proceedings-article" @default.
- W2015193668 hasAuthorship W2015193668A5047951273 @default.
- W2015193668 hasBestOaLocation W20151936682 @default.
- W2015193668 hasConcept C136764020 @default.
- W2015193668 hasConcept C202477664 @default.
- W2015193668 hasConcept C41008148 @default.
- W2015193668 hasConceptScore W2015193668C136764020 @default.
- W2015193668 hasConceptScore W2015193668C202477664 @default.
- W2015193668 hasConceptScore W2015193668C41008148 @default.
- W2015193668 hasLocation W20151936681 @default.
- W2015193668 hasLocation W20151936682 @default.
- W2015193668 hasOpenAccess W2015193668 @default.
- W2015193668 hasPrimaryLocation W20151936681 @default.
- W2015193668 hasRelatedWork W132166919 @default.
- W2015193668 hasRelatedWork W1506282065 @default.
- W2015193668 hasRelatedWork W1968576883 @default.
- W2015193668 hasRelatedWork W2323581027 @default.
- W2015193668 hasRelatedWork W2331299482 @default.
- W2015193668 hasRelatedWork W2351790455 @default.
- W2015193668 hasRelatedWork W2354118500 @default.
- W2015193668 hasRelatedWork W2570974996 @default.
- W2015193668 hasRelatedWork W2746307309 @default.
- W2015193668 hasRelatedWork W2748952813 @default.
- W2015193668 isParatext "false" @default.
- W2015193668 isRetracted "false" @default.
- W2015193668 magId "2015193668" @default.
- W2015193668 workType "article" @default.