Abstract
Debugging and verifying XSLT programs is a tedious but important task, and automated support is urgently requested by practice. Type checking of XSLT is untractable in general. Very different theoretical and practical work exists in this field, either restricting the involved languages, or aiming at approximations.
In contrast to these ambitious and expensive approaches, fragmented validation is light-weight. It does not consider the input document and the questions of control flow, in XSLT especially complicated due to the dynamic pattern matching, but restricts itself to the fragments of target language elements which are statically embedded in an XSLT script, and which are the stencils for many (in most cases: for all ) elements of the result documents.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lepper, M., Trancón y Widemann, B. (2013). Fragmented Validation: A Simple and Efficient Contribution to XSLT Checking (Extended Abstract). In: Duddy, K., Kappel, G. (eds) Theory and Practice of Model Transformations. ICMT 2013. Lecture Notes in Computer Science, vol 7909. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-38883-5_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-38883-5_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-38882-8
Online ISBN: 978-3-642-38883-5
eBook Packages: Computer ScienceComputer Science (R0)