Generating Software from Specifications WS 2013/14 - Slide 501
Objectives:
Understand binding of names to entities
In the lecture:
Explain the notions using the example:
- entities the text refers to,
- names of entities,
- occurrence of a name bound to an entity,
- scope of bindings.
Suggested reading:
GdP-3.1 ff
Author: Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 07.10.2013