Lecture 5: The Declarative Kernel Language Machine

The Abstract Kernel Language Machine

The Semantic Stack

The Single Assignment Store

Operations on Variables

Operations on Environments

Computations

Execution of Statements on the Abstract Machine

The skip statement

The local Statement

The Variable-Variable Binding Statement

The Value-Creation Statement

Summary

Execution of Freezable Statements on the Abstract Machine

The if Statement

The case Statement

The Procedure Application Statement