AG Programmiersprachen und Übersetzerkonstruktion

Lehrveranstaltungen im Sommersemester 2004

  • Vorlesung "Deklarative Programmiersprachen" (Ankündigung)
  • Vorlesung "Systematisches Programmieren"
  • Vorlesung "Softwaretechnik zum Zertifizieren von Systemen"(Ankündigung)
  • Seminar "Implementierung von Programmiersprachen"
  • Diplomandenseminar (hier sind Vorschläge für Diplomarbeiten)
  • Fortgeschrittenen Praktikum "WebFun"(Ankündigung)
  • Arbeitsgemeinschaft "Informatik, Logik und Mathematik"