Static validation of XSL transformations


XSL Transformations (XSLT) is a programming language for defining transformations among XML languages. The structure of these languages is formally described by schemas, for example using DTD or XML Schema, which allows individual documents to be validated. However, existing XSLT tools offer no static guarantees that, under the assumption that the input is… (More)
DOI: 10.1145/1255450.1255454


16 Figures and Tables

Slides referencing similar topics