ERights Home
Back to: E Adaptations 1st child: Overview: Handling Symbolic Data On to: Smart Contracts

Handling Symbolic Data

Overview Our six layer model of representations
 
Common Syntactic Elements Used in our other syntax definitions
The Power of Irrelevance On designing notations to support adversarial reviews
Term-Trees
TermL spec Specifying E's term-tree language
Embeddings How other representation systems, such as XML, are to be converted to and from TermL
Object Serialization The Data-E serialization system

 
 
Unless stated otherwise, all text on this page which is either unattributed or by Mark S. Miller is hereby placed in the public domain.
ERights Home
Back to: E Adaptations 1st child: Overview: Handling Symbolic Data On to: Smart Contracts
Download    FAQ    API    Mail Archive    Donate

report bug (including invalid html)

Golden Key Campaign Blue Ribbon Campaign