XQuery by the book: The IPSI XQuery Demonstrator

The IPSI XQuery Demonstrator (IPSI-XQ) implements the XQuery surface syntax, its mapping to the XQuery Core Language, and the static and dynamic semantics of XQuery Core "by the book", following the formal specification as faithfully as possible. Its main purpose is to provide a framework for testing various language design options, and for experimenting with techniques to use type information for efficiently storing and querying XML.