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.