Generating Software from Specifications WS 2013/14 - Slide 510
Objectives:
Classify computations for identifier contexts
In the lecture:
The following topics are explained:
- CLASS symbols represent computational roles.
- Establish a binding in an environment.
- Using the Range role.
Author: Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 07.10.2013