A Formal Semantics of the Core DOM in Isabelle/HOL-Reference-Cited by-同舟云学术

A Formal Semantics of the Core DOM in Isabelle/HOL

Published:2018 Issue: Volume: Page:
ISSN:
Container-title:Companion of the The Web Conference 2018 on The Web Conference 2018 - WWW '18
language:
Short-container-title:

Author:

Brucker Achim D.¹,Herzberg Michael¹

Affiliation:

1. University of Sheffield, Sheffield, United Kingdom

Publisher

ACM Press

Reference7 articles.

1. Peter B. Andrews. 2002. Introduction to Mathematical Logic and Type Theory: To Truth through Proof. Kluwer Academic Publishers.

2. Aaron Bohannon and Benjamin C. Pierce. 2010. Featherweight Firefox: Formalizing the Core of a Web Browser Usenix Conference on Web Application Development (WebApps).

3. Achim D. Brucker. 2007. An Interactive Proof Environment for Object-oriented Specifications. Ph.D. Dissertation. bibinfoschoolETH Zurich. ETH Dissertation No. 17097.

4. Achim D. Brucker and Michael Herzberg. 2018. Archive of Formal Proofs (2018). http://www.isa-afp.org/entries/Core_DOM.shtml, Formal proof development. Submitted.

5. Achim D. Brucker and Burkhart Wolff. 2008. An Extensible Encoding of Object-oriented Data Models in HOL. Journal of Automated Reasoning Vol. 41 (2008), 219--249. Issue 3.deftempurl%https://doi.org/10.1007/s10817-008--9108--3showDOItempurl

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Mechanised DPO Theory: Uniqueness of Derivations and Church-Rosser Theorem;Graph Transformation;2023

2. A Formally Verified Model of Web Components;Formal Aspects of Component Software;2020

3. Formalizing (Web) Standards;Tests and Proofs;2018