HTML validation of context-free languages

DOI10.1007/978-3-642-19805-2_29zbMATH Open1326.68038OpenAlexW119710065MaRDI QIDQ3000627FDOQ3000627

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

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

Mathematics Subject Classification ID

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

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

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)