Static Analysis for Dynamic XML
Static Analysis for Dynamic XML
复制标题
动态 XML 的静态分析
DOI：
10.7146/brics.v9i24.21740
复制
发表时间：
2002
期刊：
影响因子：
--
通讯作者：
M. I. Schwartzbach
中科院分区：
文献类型：
--
作者：
Aske Simon Christensen;Anders Møller;M. I. Schwartzbach
我们描述了用于动态构建XML文档的程序的数据流量分析的摘要图晶格。摘要图已成功地用于提供JWIG语言中的静态保证，以编程交互式Web服务。特别是，JWIG编译器能够检查动态生成的XHTML文档的有效性并键入检查动态表单数据。在本文中，我们介绍了摘要图，并指示它们适用于各种情况。我们还表明，摘要图具有与Xduce的正则表达式类型完全相同的表达能力，但是摘要图中的额外结构使它们更适合某些程序分析。
We describe the summary graph lattice for dataflow analysis of programs that dynamically construct XML documents. Summary graphs have successfully been used to provide static guarantees in the JWIG language for programming interactive Web services. In particular, the JWIG compiler is able to check validity of dynamically generated XHTML documents and to type check dynamic form data. In this paper we present summary graphs and indicate their applicability for various scenarios. We also show that summary graphs have exactly the same expressive power as the regular expression types from XDuce, but that the extra structure in summary graphs makes them more suitable for certain program analyses.