A Formal Model of the Document Object Model.

Achim D. Brucker Michael Herzberg

Published in: Arch. Formal Proofs (2018)

Keyphrases

preprocessing
formal model
document object model
website
xml documents
data types
markup language
php and mysql
formal models
building blocks
security patterns
security properties
databases
relational databases
web pages
structured data
open source
knowledge discovery
data structure
information retrieval
database