Institut für Computersprachen
Programmiersprachen und Übersetzer
| Titel | Typ | Betreuer |
|---|---|---|
| Abstrakte Maschinen | VO 2.0 | Krall |
| Weiterführender Übersetzerbau | VO 2.0 | Krall |
| Übersetzerbau | VL 3.0 | Krall, Ertl, Schordan |
| 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 | Knoop, Kühn |
| 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 für DiplomandInnen / DissertantInnen | SE 2.0 | ProfessorInnen und DozentInnen |
| Verifikation von Übersetzern NEU | VL 2.0 | Zimmermann |
| Verteiltes Programmieren mit Space Based Computing Middleware | VU 4.0 | Kühn |
| 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, 4. März 2009, 13:00 bis 15:30 Uhr |
|---|---|
| Wo: | Seminarraum 1/3 OPG |