.png){kind=icon}
返回
Analysis of imperative XML programs
.png){kind=icon}
PRE
AI
DOI：10.1016/j.is.2009.03.013.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
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. (C) 2009 Elsevier B.V. All rights reserved.
Keyword:
Program analysis
XML
Imperative programming
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
3.9
论文数:
2.8K
被引数:
1.8K
机构
引用论文
Frequency-specific plasticity of the auditory cortex elicited by thalamic stimulation in the rat
.png){kind=icon}
PREAI
分享收藏
Parliamentary Rule: The US Senate Parliamentarian and Institutional Constraints on Legislator Behaviour议会规则：美国参议院议事专家与对立法者行为的制度约束
PREAI
分享收藏分享收藏分享收藏
查看更多内容