Specifying Hyperdocuments with Algebraic Methods
Specifying Hyperdocuments with Algebraic Methods
Volker Mattick
2013 · DOI: 10.29007/3bwg
International Workshop on Automated Specification and Verification of Web Sites · 0 Citations
TLDR
It is shown how XML-based markup languages with schemas and stylesheets can be dened in terms of this framework and how this framework can be extended so that it can deal with partially specied documents, called semi documents.