A formal model of the Document Object Model

Brucker, A.D. orcid.org/0000-0002-6355-1200 and Herzberg, M. (2018) A formal model of the Document Object Model. Archive of Formal Proofs. ISSN 2150-914X

Abstract

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: © 2018 the Authors.
Keywords: Document Object Model; DOM; Formal Semantics; Isabelle/HOL
Dates:
  • Published (online): 26 December 2018
  • Published: 26 December 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: 16 Jan 2019 13:42
Last Modified: 16 Jan 2019 13:42
Published Version: https://www.isa-afp.org/entries/Core_DOM.html
Status: Published
Publisher: Archive of Formal Proofs
Refereed: Yes
Related URLs:

Export

Statistics