Strong (X)HTML Compliance with Haskell's Flexible Type System
作者： Steve J. Chapin , Paul G. Talaga
DOI:
关键词: Web content 、 Web development 、 Programming language 、 The Internet 、 Set (abstract data type) 、 Syntax (programming languages) 、 Markup language 、 Haskell 、 World Wide Web Consortium 、 Computer science
摘要: We report on the embedding of a domain specific language, (X)HTML, into Haskell and demonstrate how this superficial non-context-free language can be represented rendered to guarantee World Wide Web Consortium (W3C) compliance. Compliance web content is important for health Internet, accessibility, visibility, reliable search. While tools exist verify compliant according W3C, few systems that all produced compliant. present CH-(X)HTML, library generating (X)HTML by using encode nontrivial syntax set forth W3C. Any document with library, while compilation error will occur if non-compliant markup attempted. To our we examples performance measurements.
syr.edu参考文章(9)
Giovanni Vigna, William Robertson, Static enforcement of web application integrity through strong typing usenix security symposium. pp. 283- 298 ,(2009)
タイムインターメディア, 伸夫 山下, 勝利 伊東, Don Stewart, Bryan O'Sullivan, John Goerzen, Real world Haskell : 実戦で学ぶ関数型言語プログラミング オライリー・ジャパン , オーム社 (発売). ,(2009)
Peter Thiemann, WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms practical aspects of declarative languages. pp. 192- 208 ,(2002) , 10.1007/3-540-45587-6_13
Don Stewart, Bryan O'Sullivan, John Goerzen, Real World Haskell ,(2008)
Peter Thiemann, Programmable Type Systems for Domain Specific Languages Electronic Notes in Theoretical Computer Science. ,vol. 76, pp. 233- 251 ,(2002) , 10.1016/S1571-0661(04)80796-5
PETER THIEMANN, A typed representation for HTML and XML documents in Haskell Journal of Functional Programming. ,vol. 12, pp. 435- 468 ,(2002) , 10.1017/S0956796802004392
Dan Hong, Shan Chen, Vincent Y. Shen, An experimental study on validation problems with existing HTML webpages international conference on internet computing. pp. 373- 379 ,(2005)
Peter Thiemann, An embedded domain-specific language for type-safe server-side web scripting ACM Transactions on Internet Technology. ,vol. 5, pp. 1- 46 ,(2005) , 10.1145/1052934.1052935
Steven Pemberton, not Cwi, XHTML™ 1.0 The Extensible HyperText Markup Language W3C Recommendations. pp. 1- 11 ,(2000)