Go backward to Static and Dynamic Semantics Go up to Top Go forward to A Block-Structured Language

Evaluation Functions

• Environments used as additional argument

  C: Command -> Environment -> Store -> Store_{_|_}

• Environment domain

  Environment = Identifier -> Denotable-value

Language Features

1. Declarations.
2. Block structures.
3. Scoping mechanisms.
4. Compound data structures.