HTML validation of context-free languages

DOI10.1007/978-3-642-19805-2_29MaRDI QIDQ3000627zbMATH OpenOpenAlexFDO

Authors Anders Møller, Mathias Romme Schwarz

Publication date 19 May 2011

Published in Foundations of Software Science and Computational Structures (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-19805-2_29

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Internet topics (68M11)

Recommendations

• A Translation from the HTML DTD into a Regular Hedge Grammar
• XML Validation for Context-Free Grammars
• Verified Decision Procedures on Context-Free Grammars
• Complexity Results on Balanced Context-Free Languages
• The validation of SGML content models

Cited in

(5)

• A complete refinement procedure for regular separability of context-free languages
• XML Validation for Context-Free Grammars
• Web source code post-processing: a new approach based on classic models and methods
• Reachability analysis of the HTML5 parser specification and its application to compatibility testing
• A Translation from the HTML DTD into a Regular Hedge Grammar

Describes a project that uses

Uses Software

• Soot

This page was built for publication: HTML validation of context-free languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3000627)