Institut für Computersprachen
Programmiersprachen und Übersetzer
| Titel | Typ | Betreuer |
|---|---|---|
| Abstrakte Maschinen | VO 2.0 | Krall |
| Analyse und Verifikation | VU 2.0 | Knoop, Zwirchmayr |
| Fortgeschrittene funktionale Programmierung | VL 2.0 | Knoop |
| Fortgeschrittene logikorientierte Programmierung | VL 2.0 | Neumerkel |
| Fortgeschrittene objektorientierte Programmierung | VL 2.0 | Puntigam |
| Grundlagen methodischen Arbeitens (GMA) | PS 2.0 | Ertl, Knoop Krall Kühn Puntigam |
| Logikorientierte Programmierung | VL 2.0 | Neumerkel |
| Programmiersprachen | VL 2.0 | Puntigam |
| Programminvertierung und Reversibles Rechnen NEU | VU 2.0 | Glück |
| Seminar aus Programmiersprachen | SE 2.0 | Knoop |
| Seminar (mit Bachelorarbeit) | SE 3.0 | Krall, Neumerkel |
| Seminar (mit Bachelorarbeit) | SE 3.0 | ProfessorInnen und DozentInnen |
| Seminar für DiplomandInnen | SE 2.0 | ProfessorInnen und DozentInnen |
| Übersetzerbau | VL 3.0 | Krall, Ertl |
| Verifikation von Übersetzern NEU | VL 2.0 | Zimmermann |
| Verteiltes Programmieren mit Space Based Computing Middleware | VU 4.0 | Kühn |
| Weiterführender Übersetzerbau | VO 2.0 | Krall |
| Wissenschaftliche Methodik | SE 2.0 | Ertl |
Neben diesen Lehrveranstaltungen werden von allen Professoren, Dozenten und Assistenten der Complang-Gruppe Praktika betreut sowie Diplom- und Magisterarbeiten angeboten bzw. mitbetreut.
| Wann: | Mittwoch, 2. März 2010, 13:00 s.t. bis 14:00 Uhr |
|---|---|
| Wo: | EI 4 Reithofer Hörsal |