Generating Software from Specifications WS 2013/14 - Slide 309

Objectives:
Understand SYMBOL computations
In the lecture:
Explain SYMBOL computations using the examples
of the slide.
- THIS, SYNT, INH in computations stand for the containing symbol.
- In SYMBOL computations attributes of a RULE context can not be used.
Author: Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 07.10.2013