The Safely Composable DOM

MaRDI QIDQ7361660FDO

Authors Achim D. Brucker, Michael Herzberg

Publication date 28 September 2020

Cites work

• An extensible encoding of object-oriented data models in HOL. With an application to IMP++
• DOM: Specification and Client Reasoning
• Higher order logic theorem proving and its applications. 6th International Workshop, HUG '93, Vancouver, B. C., Canada, August 11-13, 1993. Proceedings
• Isabelle/HOL. A proof assistant for higher-order logic
• On theorem prover-based testing
• Operating system verification---an overview
• Programming languages and systems. 14th Asian symposium, APLAS 2016, Hanoi, Vietnam, November 21--23, 2016. Proceedings

Cited in

(1)

• A Formal Model of the Safely Composable Document Object Model with Shadow Roots

This page was built for software: The Safely Composable DOM