DOM: Specification and Client Reasoning
Abstract elided by the publisher.
Related papers
- Reasoning about Web Applications: An Operational Semantics for HOP TOPLAS 2012
- Hybrid DOM-Sensitive Change Impact Analysis for JavaScript ECOOP 2015
- A Recipe for Modular Verification of Generic Tree Traversals CPP 2026
- A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications ECOOP 2020
- Accelerating web application loading with snapshot of event and DOM handling CC 2019
- Distributed Shared Memory with Versioned Objects OOPSLA 1992
- Abstraction for Crash-Resilient Objects ESOP 2022
- A simple abstraction for complex concurrent indexes OOPSLA 2011