Sebastian Maneth and Helmut Seidl. Deciding Equivalence of Top-Down XML Transformations in Polynomial Time. Programming Language Technologies for XML, pages 73-79, Nice, France, January 2007.

This paper describes XStream, a Turing-complete programming language which allows the programmer to write XML transforma- tions in a functional tree-processing style and have them evaluated in a streaming way: the output is produced incrementally while the input is still being parsed. The programmer does not need to care explicitly about buffering. We introduce the language, describe some techniques used in the implementation and present some performance results.

Download: PDF Reference: Bibtex