Martin-Luther-Universität Halle-Wittenberg

Logo des Lehrstuhls Software-Engineering und Progammiersprachen

Weiteres

Login für Redakteure

Übersetzerbau 1

Klausurtermine

mündliche Prüfungen: 23.03.2015, 09:00 - 17:00 Uhr

Ort, Zeit

Do 14-16,  HS 3.31 und PC-Pool (14 täglich)

Mi 8-10, HS 3.31 und PC-Pool (14 täglich)

Teilnahmevoraussetzung

entsprechend der allgemeinen Modulbeschreibung

Vorlesungsinhalte

Ziel der Vorlesung ist die Vermittlung von Grundlagen und  Techniken zum Erbauen von Übersetzern (engl. Compiler). Diese Techniken  sind nicht nur im Übersetzerbau einsetzbar, sondern generell, wenn  textuelle oder visuelle Eingaben verarbeitet werden müssen -  insbesondere, wenn auch deren Konsistenz vor einer Weiterverarbeitung  überprüft werden muss.  Übersetzer können bereits seit den 80er Jahren  des vergangenen Jahrhunderts automatisch aus Spezifikationen erzeugt  werden. Die Vorlesung behandelt daher in erster Linie die theoretischen  Grundlagen der Spezifikationen, die Grundlagen der Generierung sowie das  Erstellen solcher Spezifikationen. In den Übungen werden sowohl die  Grundlagen vertieft als auch ein (kleiner) Übersetzer mit Hilfe eines  Übersetzergenerators gebaut.  Inhalt:  1. Einleitung/Architektur von  Übersetzern  2. Eigenschaften von Programmiersprachen  3. Reale und  abstrakte Maschinen  4. Abstrakte Programmrepräsentationen  5.  Grundlagen aus der Theorie formaler Sprachen  6. Lexikalische Analyse   7. Syntaktische Analyse  8. Attributierte Grammatiken  9. Semantische  Analyse  10. Zwischencodeerzeugung  11. Codeerzeugung  12. Optimierung

Folien

Übungen

Weitere Materialien

Zum Seitenanfang