文章基本信息

标题：Static Validation of Dynamically Generated HTML
本地全文：下载
作者：Claus Brabrand ; Anders Møller ; Michael I. Schwartzbach 等
期刊名称：BRICS Report Series
印刷版ISSN：0909-0878
出版年度：2001
卷号：8
期号：9
出版社：Aarhus University
摘要：We describe a static analysis of programs that efficiently decides if all dynamically computed XHTML documents presented to the client will validate according to the official DTD. We employ two interprocedural flow analyses to construct a graph summarizing the possible documents. This graph is subsequently analyzed to determine validity of those documents.