Guaranteeing strong (X)HTML compliance for dynamic Web applications

Paul G. Talaga, Steve J. Chapin

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

We report on the embedding of a domain specific language, (X)HTML, into Haskell and demonstrate how this superficial context-free language can be represented and rendered to guarantee World Wide Web Consortium (W3C) compliance. Compliance of web content is important for the health of the Internet, accessibility, visibility, and reliable search. While tools exist to verify web content is compliant according to the W3C, few systems guarantee that all dynamically produced content is compliant. We present CH-(X)HTML, a library for generating compliant (X)HTML content for all dynamic content by using Haskell to encode the non-trivial syntax of (X)HTML set forth by the W3C. Any compliant document can be represented with this library, while a compilation or run-time error will occur if non-compliant markup is attempted. To demonstrate our library we present examples and performance measurements.

Original languageEnglish (US)
Title of host publicationWEBIST 2011 - Proceedings of the 7th International Conference on Web Information Systems and Technologies
Pages71-79
Number of pages9
StatePublished - Sep 14 2011
Event7th International Conference on Web Information Systems and Technologies, WEBIST 2011 - Noordwijkerhout, Netherlands
Duration: May 6 2011May 9 2011

Publication series

NameWEBIST 2011 - Proceedings of the 7th International Conference on Web Information Systems and Technologies

Other

Other7th International Conference on Web Information Systems and Technologies, WEBIST 2011
CountryNetherlands
CityNoordwijkerhout
Period5/6/115/9/11

Keywords

  • Haskell
  • W3C compliance
  • Web development

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Information Systems

Fingerprint Dive into the research topics of 'Guaranteeing strong (X)HTML compliance for dynamic Web applications'. Together they form a unique fingerprint.

Cite this