DOM: Specification and Client Reasoning
From MaRDI portal
Publication:3179307
DOI10.1007/978-3-319-47958-3_21zbMath1483.68089OpenAlexW2529050043MaRDI QIDQ3179307
José Fragoso Santos, Philippa Gardner, Azalea Raad
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
Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Uses Software
Cites Work
- Abstract local reasoning for concurrent libraries: mind the gap
- Towards a program logic for JavaScript
- Tracking Information Flow in Dynamic Tree Structures
- Adjunct Elimination in Context Logic for Trees
- FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
- Context logic and tree update
- A trusted mechanised JavaScript specification
- Models and Separation Logics for Resource Trees
- Database Programming Languages