Data-E

(Difference between revisions)

Revision as of 02:13, 17 September 2008

This page is an placeholder. For now see [1]

@@ Line 1: / Line 1: @@
-[[Data-E]] is a subset of the [[E language]] which is used as the data format for [[serialization]] in E systems.
+This page is an placeholder. For now see [http://www.erights.org/data/serial/jhu-paper/index.html]
-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 -->
-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}}