This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
start [2011/10/01 15:38] Patrick Michel |
start [2012/05/11 16:34] Patrick Michel |
||
---|---|---|---|
Line 1: | Line 1: | ||
====== XCend ====== | ====== XCend ====== | ||
- | [[start]] (//pronounced:// [[start|TransCend]]) is a technology to | + | [[start]] <fs 80%>(//pronounced://</fs> [[start|TransCend]]<fs 80%>)</fs> is a technology to |
* specify and use hierarchical data structures. It is | * specify and use hierarchical data structures. It is | ||
* independent of any language or datatype paradigm, but - by using language dependent backends | * independent of any language or datatype paradigm, but - by using language dependent backends | ||
Line 8: | Line 8: | ||
The major benefit of [[start]] is the | The major benefit of [[start]] is the | ||
* addition of //integrity constraints// to hierarchical data structures | * addition of //integrity constraints// to hierarchical data structures | ||
- | * which makes a [[start]] type more than the sum of its parts. | + | * which makes a [[start]] type //more than the sum of its parts//. |
The [[start]] technology then | The [[start]] technology then | ||
* helps you in //theoretically ensuring// your data stays valid, but will also | * 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. | * give you the ability to //practically work with// and manipulate your data nevertheless. | ||
- | At the moment we are working on the [[:stats:]], which is a handcrafted example system. | + | At the moment we are working on the [[stats:]], which is a handcrafted example system. |
You can also take a look at the [[syntax]] reference. | You can also take a look at the [[syntax]] reference. | ||
+ | |||
+ | The [[theory:]] behind the technology will soon be available. |