Title: Formalized Web Components
Type Software Brucker, Achim D., Herzberg, Michael (2020): Formalized Web Components. Zenodo. Software. https://zenodo.org/record/4250021
Links
- Item record in Zenodo
- Digital object URL
Summary
Formalized Web Components
This archive contains two different formalizations of the DOM with Shadow Trees and definitions of Web Components which is built on top of the following:
a formalization that is as close to the official DOM standard as possible. This formalization comprises the following sub-projects (a more detailed description of them is given in the archive): [Core_DOM](./Core_DOM) [Shadow_DOM](./Shadow_DOM) [DOM_Components](./DOM_Components) a formalization of a proposed update to the DOM standard that provides better safety guarantees. This formalization comprises the following sub-projects (a more detailed description of them is given in the archive): [Core_SC_DOM](./Core_SC_DOM) [Shadow_SC_DOM](./Shadow_SC_DOM) [SC_DOM_Components](./SC_DOM_Components)The formalization has been tested with Isabelle/HOL 2020 without including the Archive of Formal Proofs (AFP). As this archive contains (and requires) and updated version of the already existing AFP entry Core_DOM (the updated version is available in the development version of the AFP), it does not run with the current AFP version.
More information
- DOI: 10.5281/zenodo.4250021
- Language: en
Subjects
- Isabelle/HOL, Formal Verification, DOM, HTML, Web Components, Web Standards
Dates
- Publication date: 2020
- Issued: November 06, 2020
Rights
- https://opensource.org/licenses/BSD-2-Clause BSD 2-Clause "Simplified" License
- info:eu-repo/semantics/openAccess Open Access
Format
electronic resource
Relateditems
| Description | Item type | Relationship | Uri |
|---|---|---|---|
| IsSourceOf | https://doi.org/10.1145/3184558.3185980 | ||
| IsSourceOf | https://doi.org/10.1007/978-3-319-92994-1_9 | ||
| HasPart | https://www.isa-afp.org/entries/Core_DOM.html | ||
| IsSourceOf | https://doi.org/10.1007/978-3-030-40914-2_3 | ||
| IsVersionOf | https://doi.org/10.5281/zenodo.4250020 | ||
| IsPartOf | https://zenodo.org/communities/zenodo |