A Formal Model for an Expressive Fragment of XSLT

The extension of the XSL (eXtensible Style sheet Language) by variables and passing of data values between template rules has generated a powerful XML query language: XSLT (eXtensible Style sheet Language Transformations). An informal

• Type: Journal
• Year: 2000
• Where: CL
• Authors: Geert Jan Bex, Sebastian Maneth, Frank Neven
• Keywords: Automated Reasoning, CL 2000, Extensible Style Sheet, Style Sheet Language, XML Query Language