Claus Brabrand, Anders Møller, Michael I. Schwartzbach. Static validation of dynamically generated HTML. In Proceedings of the 2001 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE 01, Snowbird, Utah, USA, June 18-19, 2001. pages 38-45, ACM, 2001. [doi]
Abstract is missing.