Static validation of dynamically generated HTML

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Static validation of dynamically generated HTML

Source

Workshop on Program Analysis for Software Tools and Engineering archive
Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering table of contents

Snowbird, Utah, United States

Pages: 38 - 45

Year of Publication: 2001

ISBN:1-58113-413-4

Authors

Claus Braband
Anders Møller
Michael Schwartzbach

Sponsors

SIGSOFT: ACM Special Interest Group on Software Engineering
SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Citation Count: 9

Additional Information:

abstract cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTex EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/379605.379657 What is a DOI?

ABSTRACT

We describe a static analysis of \bigwig\ programs that efficiently decides if all dynamically computed XHTML documents presented to the client will validate according to the official DTD. We employ two data-flow analyses to construct a graph summarizing the possible documents. This graph is subsequently analyzed to determine validity of those documents. By evaluating the technique on a number of realistic benchmarks, we demonstrate that it is sufficiently fast and precise to be practically useful.

CITED BY 9

	Pavithra G. Naidu , Mathew J. Palakal , Shielly Hartanto, On-the-fly data integration models for biological databases, Proceedings of the 2007 ACM symposium on Applied computing, March 11-15, 2007, Seoul, Korea
	Peter Thiemann, A typed representation for HTML and XML documents in Haskell, Journal of Functional Programming, v.12 n.5, p.435-468, July 2002
	Tue Becher Jensen , Terkel K. Tolstrup , Michael R. Hansen, Generating web-based systems from specifications, Proceedings of the 2004 ACM symposium on Applied computing, March 14-17, 2004, Nicosia, Cyprus
	Haruo Hosoya , Benjamin C. Pierce, XDuce: A statically typed XML processing language, ACM Transactions on Internet Technology (TOIT), v.3 n.2, p.117-148, May 2003
	Carl Gould , Zhendong Su , Premkumar Devanbu, Static Checking of Dynamically Generated Queries in Database Applications, Proceedings of the 26th International Conference on Software Engineering, p.645-654, May 23-28, 2004
	Claus Brabrand , Anders Møller , Steffan Olesen , Michael I. Schwartzbach, Language-Based Caching of Dynamically Generated HTML, World Wide Web, v.5 n.4, p.305-323, 2002
	Anders Møller , Michael I. Schwartzbach, XML graphs in program analysis, Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, January 15-16, 2007, Nice, France
	Claus Brabrand , Anders Møller , Michael I. Schwartzbach, The <bigwig> project, ACM Transactions on Internet Technology (TOIT), v.2 n.2, p.79-114, May 2002
	Aske Simon Christensen , Anders Møller , Michael I. Schwartzbach, Extending Java for high-level Web service construction, ACM Transactions on Programming Languages and Systems (TOPLAS), v.25 n.6, p.814-875, November 2003