Von Automaten zu Programmen–Parsergeneratoren und Attributgrammatiken
Inter Prozedurale Zeigeranalyse