2012 | OriginalPaper | Chapter
Towards a Guaranteed (X)HTML Compliant Dynamic Web Application
Authors : Paul G. Talaga, Steve J. Chapin
Published in: Web Information Systems and Technologies
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
We report on the embedding of a domain specific language, (X)HTML, into Haskell and demonstrate how this web language can be represented and rendered for strong 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, performance measurements, and a discussion of library version considerations.