Concrete semantics
eager semantics with “run-time” type checking
separation from the main semantic evaluation function of the primitive operations
- which will then be replaced by their abstract version
abstraction of concrete values
- identity function in the concrete semantics
symbolic “non-deterministic” semantics of the conditional