Ziele:
Beispielsprache vorstellen

im Vorlesungsteil:
Ziele und Vorgehen erläutern

nachlesen:
Core-Spezifikation

Verständnisfragen:

• Welche Aufgaben der Typanalyse erkennen Sie an dem Beispielprogramm?