Computer Science – Programming Languages
Scientific paper
2006-03-08
Acta Informatica, Volume 43, Number 6 / January, 2007
Computer Science
Programming Languages
Scientific paper
10.1007/s00236-006-0026-8
XSLT is a standard rule-based programming language for expressing transformations of XML data. The language is currently in transition from version 1.0 to 2.0. In order to understand the computational consequences of this transition, we restrict XSLT to its pure tree-transformation capabilities. Under this focus, we observe that XSLT~1.0 was not yet a computationally complete tree-transformation language: every 1.0 program can be implemented in exponential time. A crucial new feature of version~2.0, however, which allows nodesets over temporary trees, yields completeness. We provide a formal operational semantics for XSLT programs, and establish confluence for this semantics.
den Bussche Jan Van
Janssen Wim
Korlyukov Alexandr
No associations
LandOfFree
On the tree-transformation power of XSLT does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with On the tree-transformation power of XSLT, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and On the tree-transformation power of XSLT will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-446876