Zum Inhalt
Fakultät für Informatik

Functional-Logic Development & Implementation Techniques

  • Funktionale and regelbasierte Programmierung
  • Logisch-algebraische Modellierung and Verifikation
  • Algebraische Übersetzungstechniken
  • Expander2/3 - a workbench for interactive formal reasoning

Die Ergebnisse aktueller Forschung & Entwicklung finden sich in den hier verlinkten Reports und Foliensätzen.