Institut für Programmiermethodik
und Compilerbau
- 1:
Lehre.- 1.1:
Sommersemester 2012. - 1.2: Wintersemester 2011/2012.
- 1.2.1:
Constraint-Programmierung. - 1.2.2: Embedded Softwareengineering im Bereich Automotive.
- 1.2.3: Funktionale Programmierung.
- 1.2.4: Grundlagen des Übersetzerbaus.
- 1.2.5: Management von Softwareprojekten.
- 1.2.6: Softwaretechnik I.
- 1.2.7: Algebraische Strukturen als Grundlage der Informatik.
- 1.2.8: Formale Spezifikationssprachen und ihre Semantik.
- 1.2.9: Techniken der formalen Programmentwicklung an Hand von Beispielen.
- 1.2.10: Fortgeschrittene Anwendungstechniken für typische Informatiksysteme.
- 1.2.11: Logikbasierte Programmiersprachen.
- 1.2.12: Constraint-Programmierung Praxis.
- 1.2.13: Entwicklung konkreter Anwendungen nach ausgewählten Prinzipien des Software Engineering.
- 1.2.14: Experimentelles Softwareengineering.
- 1.2.15: Softwaregrundprojekt (Sopra).
- 1.2.1:
- 1.3: Regelmäßig angebotene Lehrveranstaltungen.
- 1.4: Frühere Lehrveranstaltungen.
- 1.5: Themen für Diplomarbeiten, Masterarbeiten und Individualpraktika.
- 1.1:
- 2: Forschung.
- 3: Mitarbeiter.
- 4: Kontakt.
SimulatorGrundlagen des Übersetzerbaus
Die Veranstaltung beginnt am Dienstag den 18.10.2011 um 10:00 Uhr im Raum 1002 im Gebäude o28. Weitere organisatorische Hinweise werden Ihnen in dieser Veranstaltung mitgeteilt.
Inhalt
Die Vorlesung behandelt alle Aspekte der Konstruktion eines Übersetzers für eine konventionelle imperative Sprache (wie etwa Pascal) mit Nachdruck auf einer fundierten theoretischen Grundlage, einer systematischen Konstruktion von Übersetzerkomponenten und, soweit angebracht, auf deren Generierung. Die einzelnen Themen sind:
- Prinzip der Übersetzung einer Pascal-ähnlichen Sprache in Code für eine abstrakte Kellermaschine (P-Maschine)
- lexikalische Analyse (Erzeugung von Analysatoren basierend auf deterministischen endlichen Automaten aus erweiterten regulären Ausdrücken)
- verschiedene Parsing-Techniken (für kontextfreie Grammatiken) mit einem Schwerpunkt auf LL- und LR-Techniken (einschließlich Fehlerbehandlung)
- semantische Analyse auf der Grundlage von Attributgrammatiken
- Einführung in die maschinenunabhängige Optimierung
- Codeerzeugung für CISC- und RISC-Architekturen (einschließlich Codeselektion, Registerzuordnung, maschinenabhängige Optimierung und Instruktionsanordnung)
Prof. Dr. Helmuth PartschTermin
Dienstag 10-12 Uhr in O28-1002
Mittwoch 10-12 Uhr in O28-1002
Erste Übung:
am Mittwoch, den 18.10.2011
um 10:00 Uhr im O28-1002
Vorlesungsverzeichnis