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.
SimulatorSimulator
Die Pascal-Maschine PMach ist ein Simulator für Pascal-Programme. Sie ist im Linux-Pool im Verzeichnis /opt/Abteilungen/pm/Gofer_VM/PMach/ installiert. Der Aufruf erfolgt mit /opt/Abteilungen/pm/Gofer_VM/bin/pmach. Dieses Bild zeigt den Simulator im Einsatz:
Im unteren Teil des Fensters kann ein Programm eingegeben und mittels Compile in abstrakten Maschinencode übersetzt werden. Dieser wird dann mit Step bzw. Run ausgeführt. Beispiele gibt es im Unterverzeichnis pasprogramme/. Die Datei readme enthält nützliche Hinweise und Einschränkungen des Simulators.
Der Quellcode des Simulators ist im Linux-Pool im oben angegebenen Verzeichnis verfügbar. Er läuft unter TkGofer 2.1, das im Verzeichnis /opt/Abteilungen/pm/TkGofer/ verfügbar ist. Es gibt auch weitere Informationen zu TkGofer, das Gofer um eine Bibliothek für GUIs erweitert. Gofer ist eine interpretierte funktionale Programmiersprache, ähnlich zu Haskell.