Programming Languages and Compilers WS 2013/14 - Slide 604
Objectives:
Properties of program entities
In the lecture:
- Explain the operations,
- explain the generator,
- give examples.
Assignments:
- Use the PDL tool of Eli to specify properties of SetLan entities.
Questions:
- Give examples where calls of the operations are specified as computations in tree contexts. Describe how they depend on each other.
©2009 by Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 07.10.2013