Programming Languages and Compilers WS 2013/14 - Slide 702
Objectives:
Introduction of a calculus for formal modelling
semantics
In the lecture:
Give an overview on the appoach;
the roles of
- semantic domains (cf. lecture on Modelling),
- mappings E and C
©2009 by Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 07.10.2013