A Simple and Efficient Step Towards Type-Correct XSLT Transformations

摘要

XSLT 1.0 is a standardized functional programming language and widely used for defining transformations on XML models and documents, in many areas of industry and publishing. The problem of XSLT type checking is to verify that a given transformation, when