XCend

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.

start.txt · Last modified: 2013/08/14 14:37 by Patrick Michel
 
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki