Generating Software from Specifications WS 2013/14 - Slide 305
Objectives:
Understand CONSTITUENTS
In the lecture:
- Explain combining values.
- The binary function mus be associative.
- The konstant function must be neutral w.r.t the binary function. 2-stelligen sein.
Questions:
How can you express the effect of that constituents by
explicit computations?
Author: Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 07.10.2013