DOM: Specification and Client Reasoning

DOI10.1007/978-3-319-47958-3_21MaRDI QIDQ3179307zbMATH OpenOpenAlexFDO

Authors Azalea Raad, José Fragoso Santos, Philippa Gardner

Publication date 21 December 2016

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/10044/1/67345

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Database Programming Languages
• scientific article; zbMATH DE number 2036249
• scientific article; zbMATH DE number 1222272
• Specification and verification of data-driven Web applications

Cites work

• A trusted mechanised JavaSript specification
• Abstract local reasoning for concurrent libraries: mind the gap
• Adjunct Elimination in Context Logic for Trees
• Context logic and tree update
• Database Programming Languages
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• Models and Separation Logics for Resource Trees
• Towards a program logic for JavaScript
• Tracking Information Flow in Dynamic Tree Structures

Cited in

(10)

• Towards a program logic for JavaScript
• Reachability analysis of the HTML5 parser specification and its application to compatibility testing
• A trusted mechanised JavaSript specification
• Database Programming Languages
• A Formal Model of the Document Object Model
• A Formalization of Web Components
• A Formal Model of the Document Object Model with Shadow Roots
• The Safely Composable DOM
• A Formalization of Safely Composable Web Components
• A Formal Model of the Safely Composable Document Object Model with Shadow Roots

Describes a project that uses

Uses Software

• JavaScript
• Featherweight Java

This page was built for publication: DOM: Specification and Client Reasoning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3179307)