AG Programmiersprachen und Übersetzerkonstruktion

Lehrveranstaltungen im Sommersemester 2002

  • Vorlesung "Deklarative Programmiersprachen" (Ankündigung)
  • Seminar "Programmiersprachen für eingebettete Systeme und Echtzeitsysteme"
  • Diplomandenseminar (hier sind Vorschläge für Diplomarbeiten
  • Arbeitsgemeinschaft "Informatik, Logik und Mathematik"
  • Fortgeschrittenen-Praktikum "Verifikation von Webseiten" (Ankündigung)
  • Vorlesung "Systematisches Programmieren"