XCend (pronounced: TransCend) is a technology to

• specify and use hierarchical data structures. It is
• independent of any language or datatype paradigm, but - by using language dependent backends
• code can be generated for various languages.

The major benefit of XCend is the

• addition of integrity constraints to hierarchical data structures
• which makes a XCend type more than the sum of its parts.

The XCend technology then

• helps you in theoretically ensuring your data stays valid, but will also
• give you the ability to practically work with and manipulate your data nevertheless.

At the moment we are working on the STAT System, which is a handcrafted example system.

The Isabelle/HOL Theories behind the technology are also available.