Christoph Reichenbach

Publications (3)0 Total impact

• Article: Analysis of imperative XML programs.

  Christoph Reichenbach, Michael G. Burke, Igor Peshansky, Mukund Raghavachari
  Inf. Syst. 01/2009; 34:624-642.
• Source

  Available from: Michael G. Burke

  Conference Proceeding: Analysis of Imperative XML Programs.

  Michael G. Burke, Igor Peshansky, Mukund Raghavachari, Christoph Reichenbach
  Database Programming Languages, 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers; 01/2007
• Source

  Available from: Michael G. Burke

  Article: Analysis of imperative XML programs

  Christoph Reichenbach, Michael G. Burke, Igor Peshansky, Mukund Raghavachari
  [show abstract] [hide abstract]
  ABSTRACT: 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.
  Information Systems.