Aarhus University Seal / Aarhus Universitets segl

HTML Validation of Context-Free Languages

Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperConference articleResearchpeer-review

Standard

HTML Validation of Context-Free Languages. / Møller, Anders; Schwarz, Mathias Romme.

In: Lecture Notes in Computer Science, Vol. 6604, 2011, p. 426-440.

Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperConference articleResearchpeer-review

Harvard

Møller, A & Schwarz, MR 2011, 'HTML Validation of Context-Free Languages', Lecture Notes in Computer Science, vol. 6604, pp. 426-440. https://doi.org/10.1007/978-3-642-19805-2_29

APA

Møller, A., & Schwarz, M. R. (2011). HTML Validation of Context-Free Languages. Lecture Notes in Computer Science, 6604, 426-440. https://doi.org/10.1007/978-3-642-19805-2_29

CBE

Møller A, Schwarz MR. 2011. HTML Validation of Context-Free Languages. Lecture Notes in Computer Science. 6604:426-440. https://doi.org/10.1007/978-3-642-19805-2_29

MLA

Møller, Anders and Mathias Romme Schwarz. "HTML Validation of Context-Free Languages". Lecture Notes in Computer Science. 2011, 6604. 426-440. https://doi.org/10.1007/978-3-642-19805-2_29

Vancouver

Møller A, Schwarz MR. HTML Validation of Context-Free Languages. Lecture Notes in Computer Science. 2011;6604:426-440. https://doi.org/10.1007/978-3-642-19805-2_29

Author

Møller, Anders ; Schwarz, Mathias Romme. / HTML Validation of Context-Free Languages. In: Lecture Notes in Computer Science. 2011 ; Vol. 6604. pp. 426-440.

Bibtex

@inproceedings{b14c3ff4c4104b9c8285c6e5200439d8,
title = "HTML Validation of Context-Free Languages",
abstract = "We present an algorithm that generalizes HTML validation of individual documents to work on context-free sets of documents. Together with a program analysis that soundly approximates the output of Java Servlets and JSP web applications as context-free languages, we obtain a method for statically checking that such web applications never produce invalid HTML at runtime. Experiments with our prototype implementation demonstrate that the approach is useful: On 6 open source web applications consisting of a total of 104 pages, our tool finds 64 errors in less than a second per page, with 0 false positives. It produces detailed error messages that help the programmer locate the sources of the errors. After manually correcting the errors reported by the tool, the soundness of the analysis ensures that no more validity errors exist in the applications.",
author = "Anders M{\o}ller and Schwarz, {Mathias Romme}",
note = "Title of the vol.: Foundations of Software Science and Computational Structures. Proceedings / Matin Hofmann (ed) ISBN: 978-3-642-19804-5; Foundations of Software Science and Computation Structures 2011 (FoSSaCS) ; Conference date: 26-03-2011 Through 03-04-2011",
year = "2011",
doi = "10.1007/978-3-642-19805-2_29",
language = "English",
volume = "6604",
pages = "426--440",
journal = "Lecture Notes in Computer Science",
issn = "0302-9743",
publisher = "Springer",

}

RIS

TY - GEN

T1 - HTML Validation of Context-Free Languages

AU - Møller, Anders

AU - Schwarz, Mathias Romme

N1 - Title of the vol.: Foundations of Software Science and Computational Structures. Proceedings / Matin Hofmann (ed) ISBN: 978-3-642-19804-5

PY - 2011

Y1 - 2011

N2 - We present an algorithm that generalizes HTML validation of individual documents to work on context-free sets of documents. Together with a program analysis that soundly approximates the output of Java Servlets and JSP web applications as context-free languages, we obtain a method for statically checking that such web applications never produce invalid HTML at runtime. Experiments with our prototype implementation demonstrate that the approach is useful: On 6 open source web applications consisting of a total of 104 pages, our tool finds 64 errors in less than a second per page, with 0 false positives. It produces detailed error messages that help the programmer locate the sources of the errors. After manually correcting the errors reported by the tool, the soundness of the analysis ensures that no more validity errors exist in the applications.

AB - We present an algorithm that generalizes HTML validation of individual documents to work on context-free sets of documents. Together with a program analysis that soundly approximates the output of Java Servlets and JSP web applications as context-free languages, we obtain a method for statically checking that such web applications never produce invalid HTML at runtime. Experiments with our prototype implementation demonstrate that the approach is useful: On 6 open source web applications consisting of a total of 104 pages, our tool finds 64 errors in less than a second per page, with 0 false positives. It produces detailed error messages that help the programmer locate the sources of the errors. After manually correcting the errors reported by the tool, the soundness of the analysis ensures that no more validity errors exist in the applications.

U2 - 10.1007/978-3-642-19805-2_29

DO - 10.1007/978-3-642-19805-2_29

M3 - Conference article

VL - 6604

SP - 426

EP - 440

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

T2 - Foundations of Software Science and Computation Structures 2011 (FoSSaCS)

Y2 - 26 March 2011 through 3 April 2011

ER -