Data-E
From Erights
(Difference between revisions)
Kevin Reid (Talk | contribs) (expand stub) |
m (plural link mistake) |
||
| (3 intermediate revisions not shown) | |||
| Line 7: | Line 7: | ||
== Definition == | == Definition == | ||
| - | Roughly, Data-E contains only [[literal]]s, [[noun]]s (which represent [[graph | + | Roughly, Data-E contains only [[literal]]s, [[noun]]s (which represent [[graph exit]]s), [[call expression]]s, and [[DefrecExpr|<code>def ... :=</code> expressions]] (which represent sharing and cycles). <!-- XXX check this against formal defn --> |
== See also == | == See also == | ||
Latest revision as of 11:20, 18 September 2008
Data-E is a subset of the E language which is used as the data format for serialization in E systems.
Data-E is abstract; while serialization into standard E surface syntax can be done, practical serialization uses condensed syntaxes such as the bytecode. The library objects which parse and generate Data-E syntaxes are called kits, e.g. deBytecodeKit, deSrcKit, deSubgraphKit.
For a thorough description of serialization in E, see [1].
Definition
Roughly, Data-E contains only literals, nouns (which represent graph exits), call expressions, and def ... := expressions (which represent sharing and cycles).
See also
- This page is a stub; it should be expanded with more information. If doing so, check the original E web site and the mailing list archives for content which could be moved into this page.
