Institut für Programmiermethodik und Compilerbau

• 1: Lehre.
• 2: Forschung.
  • 2.1: Themen.
  • 2.2: Arbeiten.
  • 2.3: Projekte.
    • 2.3.1: GLOB-CON.
    • 2.3.2: Leistungspunktesysteme.
      • 2.3.2.1: Rahmenwerk.
      • 2.3.2.2: Bilanz.
    • 2.3.3: ModKey.
    • 2.3.4: NOVA.
    • 2.3.5: ROARS.
    • 2.3.6: RUBIKON.
    • 2.3.7: Ultra.
  • 2.4: Publikationen.
  • 2.5: Veranstaltungen.
• 3: Mitarbeiter.
• 4: Kontakt.