Fragmented Validation: A Simple and Efficient Contribution to XSLT Checking(Extended 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.