Static Analysis of XSLT Programs
Static Analysis of XSLT Programs
复制标题
XSLT 程序的静态分析
DOI：
--
复制
发表时间：
2004
期刊：
影响因子：
--
通讯作者：
J. Bailey
中科院分区：
文献类型：
--
作者：
Ce Dong;J. Bailey
XML已成为代表和交换万维网数据的主要标准。在XML中转换和呈现数据的能力至关重要，XSLT（可扩展的样式表语言转换）是支持此活动的主要编程语言。 XSLT程序分析的方法当前是一个重要的开放问题。在本文中，我们讨论了分析XSLT程序的新方法，这些方法返回有关可及性，无效的通话关系和终止属性的信息。我们的方法基于对XSLT程序组件之间可能存在的关联的确定，并由DTD的知识所改进。这种分析对于XSLT程序的调试和验证以及它们的优化非常重要。
XML is becoming the dominant standard for representing and exchanging data on the World Wide Web. The ability to transform and present data in XML is crucial and XSLT (Extensible Stylesheet Language Transformations) is the principal programming language that supports this activity. Methods for analysis of XSLT programs are currently an important open issue. In this paper, we discuss new methods for analysing XSLT programs, which return information about reachability, invalid calling relationships and termination properties. Our methods are based on the determination of the associations which can exist between components of an XSLT program, refined by the knowledge from a DTD. Such analysis is important for debugging and verification of XSLT programs and also their optimisation.
基于一元二阶逻辑的XML转换
DOI：
--
发表时间：
2007
期刊：
PLAN-X 2007 Informal Proceedings 1
影响因子：
--
作者：
Kazuhiro Inaba;Haruo Hosoya
通讯作者：
Haruo Hosoya