Data-E

From Erights

Revision as of 11:20, 18 September 2008 by Kevin Reid (Talk)
(diff) ←Older revision | Current revision (diff) | Newer revision→ (diff)
Jump to: navigation, search

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.
Personal tools
more tools