This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
start [2011/10/01 15:35] Patrick Michel |
start [2013/08/14 14:37] (current) Patrick Michel |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== XCend ====== | ====== XCend ====== | ||
| - | [[start]] 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. | + | The [[theory:]] behind the technology are also available. |