Data-E

From Erights

(Difference between revisions)
Jump to: navigation, search
m (plural link mistake)
 
(One intermediate revision not shown)
Line 1: Line 1:
-
This page is an placeholder. For now see [http://www.erights.org/data/serial/jhu-paper/index.html]
+
[[Data-E]] is a subset of the [[E language]] which is used as the data format for [[serialization]] in E systems.
-
==== Graph exits ====
+
Data-E is abstract; while serialization into [[standard E surface syntax]] can be done, practical serialization uses condensed syntaxes such as the [[deBytecodeKit|bytecode]]. The library objects which parse and generate Data-E syntaxes are called ''kits'', e.g. [[deBytecodeKit]], [[deSrcKit]], [[deSubgraphKit]]. <!-- XXX rephrase this to integrate the notion that live objects are handled by another kit -->
-
see [http://www.erights.org/data/serial/jhu-paper/intro.html#exits]
+
 
 +
For a thorough description of serialization in E, see [http://www.erights.org/data/serial/jhu-paper/index.html].
 +
 
 +
== Definition ==
 +
 
 +
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 ==
 +
* [[Surgeon]]
 +
* [[Serialization]]
 +
 
 +
{{stub}}

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