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.
展开▼