A Formal Semantics of the Core DOM in Isabelle/HOL

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

Abstract

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: © 2018 IW3C2 (International World Wide Web Conference Committee), published under Creative Commons CC BY 4.0 License.
Keywords: Document Object Model; DOM; Formal Semantics; Isabelle/HOL
Dates:
  • Published: 23 April 2018
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Depositing User: Symplectic Sheffield
Date Deposited: 12 Apr 2018 09:21
Last Modified: 01 Oct 2018 14:13
Published Version: https://doi.org/10.1145/3184558.3185980
Status: Published
Publisher: International World Wide Web Conferences Steering Committee
Refereed: Yes
Identification Number: https://doi.org/10.1145/3184558.3185980

Download

Export

Statistics