This is a repository copy of A Formal Semantics of the Core DOM in Isabelle/HOL. White Rose Research Online URL for this paper: http://eprints.whiterose.ac.uk/129156/ Version: Published Version Proceedings Paper: Brucker, A.D. orcid.org/0000-0002-6355-1200 and Herzberg, M. (2018) A Formal Semantics of the Core DOM in Isabelle/HOL. In: WWW '18 Companion Proceedings of the The Web Conference 2018. The Web Conference 2018, 23-27 Apr 2018, Lyon, France. International World Wide Web Conferences Steering Committee , pp. 741-749. ISBN 978-1-4503-5640-4 https://doi.org/10.1145/3184558.3185980 Reuse This article is distributed under the terms of the Creative Commons Attribution (CC BY) licence. This licence allows you to distribute, remix, tweak, and build upon the work, even commercially, as long as you credit the authors for the original work. More information and the full terms of the licence here: https://creativecommons.org/licenses/ Takedown If you consider content in White Rose Research Online to be in breach of UK law, please notify us by emailing
[email protected] including the URL of the record and the reason for the withdrawal request.
[email protected] https://eprints.whiterose.ac.uk/ Track: Web Programming WWW 2018, April 23-27, 2018, Lyon, France A Formal Semantics of the Core DOM in Isabelle/HOL Achim D. Brucker Michael Herzberg Department of Computer Science Department of Computer Science The University of Sheield The University of Sheield Sheield, UK Sheield, UK
[email protected] [email protected] ABSTRACT Model (DOM) deines a tree-like data structure for representing At its core, the Document Object Model (DOM) deines a tree-like documents in general and HTML documents in particular.