A Formal Semantics of the Core DOM in Isabelle/HOL.

Achim D. Brucker Michael Herzberg

Published in: WWW (Companion Volume) (2018)

Keyphrases

formal semantics
theorem prover
first order logic
natural deduction
theorem proving
inference rules
logical language
logical reasoning
operational semantics
xml documents
modelling language
formal language
document object model
er model
owl dl ontology
model checking
software engineering