From Erights

Revision as of 18:01, 13 May 2011 by Kevin Reid (Talk)
(diff) ←Older revision | Current revision (diff) | Newer revision→ (diff)
Jump to: navigation, search

Kernel-E is the subset of the E language which is understood by evaluators. Full E is converted to Kernel-E by expansion.

XXX needs more info

Node classes

The following node types may occur in a Kernel-E program. The hierarchy indicates subtype relationships.

Formerly kernel nodes

These node types were once part of Kernel-E but have been removed or made non-kernel.

Objects implied by Kernel-E semantics

Kernel-E semantics involves the following specific object types:

XXX This list may not be complete. The original work here was done in 2006. —Kevin Reid 13:01, 13 May 2011 (CDT)

Personal tools
more tools