Next: Expression kernel Up: main Previous: The backend Contents

The kernel language

Subsections

Expression kernel
- Sanitizer
- Typechecker
- Compiler
Kernel expression
Constant
Abstraction
Application
Local
Global
IfThenElse
AndOr
Sequence
Let
Loop
ExitWithValue
Definition
Parameter
Assignment
NewObject
FieldUpdate
NewArray
ArraySlot
ArraySlotUpdate
Tuple
NamedTuple
TupleProjection
TupleUpdate
Dummy
Monoid Homomorphism
Monoid Comprehesion
CompiledExpression

Hassan Ait Kaci 2002-05-26