- lexikalische und syntaktische Analyse
- algebraische Datentypen (= Bäume)
- Funktionen höherer Ordnung (= Entwurfsmuster)
- Parser-Kombinatoren
- syntaxgesteuerte Übersetzung
- (konkrete) Intepretation
- Typen (abstrakte Intepretation)
- Codeerzeugung (abs. Int.)
2009-11-20
