Static validation of XSL transformations

Abstract

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

Topics

16 Figures and Tables

Slides referencing similar topics