...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Information Systems >Analysis of imperative XML programs
【24h】

Analysis of imperative XML programs

机译：分析命令式XML程序

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

The widespread adoption of XML has led to programming languages that support XML as a first class construct. In this paper, we present a method for analyzing and optimizing imperative XML processing programs. In particular, we present a program analysis, based on a flow-sensitive type system, for detecting both redundant computations and redundant traversals in such programs. The analysis handles imperative loops that traverse XML values explicitly and declarative queries over XML data in a uniform framework. We describe two optimizations that take advantage of our analysis: one merges queries that traverse the same set of XML nodes, and the other replaces an XPath expression by a previously computed result. We demonstrate performance improvements for selected XMark benchmark queries and XLinq sample queries.
机译：XML的广泛采用已经导致支持XML作为一流构造的编程语言。在本文中，我们提出了一种用于分析和优化命令式XML处理程序的方法。特别是，我们提出了一种基于流量敏感型系统的程序分析，用于检测此类程序中的冗余计算和冗余遍历。该分析处理了显式遍历XML值的命令性循环以及在统一框架中对XML数据的声明性查询。我们描述了两种利用我们的分析进行的优化：一种合并遍历同一组XML节点的查询，另一种则用先前计算的结果替换XPath表达式。我们展示了所选XMark基准查询和XLinq示例查询的性能改进。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号