Data-E
From Erights
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.