Programming Languages and Compilers WS 2013/14 - Slide 601
Objectives:
Fundamentals of typing constrains
In the lecture:
- Motivate type analysis tasks with typical properties of strongly typed languages;
- give examples
Suggested reading:
Kastens / Übersetzerbau, Section 6.1
Questions:
- Give examples for program entities that have a type property and for others which don't.
- Enumerate at least 5 properties of types in Java, C or Pascal.
- Give an example for a recursively defined type, and show its representation using keys.
©2009 by Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 07.10.2013