XACT - Type-safe XML Transformation in Java

Xact is a Java-based system for programming XML transformations. The main features of Xact are:

XML templates as immutable values
optional type annotations using XML Schema declarations (based on the dk.brics.schematools package)
static analysis for ensuring type safety
full integration with the Java language
an efficient runtime system

Available resources:

Download the Xact source code - latest release: v3.0-5
Installation guide and examples.
JavaDoc API specifications for the main XML class.
Publications:
- Static Analysis of XML Transformations in Java [abstract | PDF | BibTeX]
- A Runtime System for XML Transformations in Java [abstract | PDF | BibTeX]
- Type Checking with XML Schema in Xact [abstract | PDF | BibTeX]
- Programming with XML [abstract | PDF]
- XML Graphs in Program Analysis [abstract | PDF]
The book An Introduction to XML and Web Technologies contains a section about Xact.
A presentation of Xact [PDF]
Xact is a key constituent of the JWIG web programming framework.

Xact is being developed by the programming language research group at Aarhus University.

Xact - Type-Safe XML Transformation in Java