Eine Analyse- und Programmierumgebung für deklarative Sprachen

• Antragsteller: Professor Dr. Michael Hanus
• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung von 1998 bis 2003
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5086422

Deklarative Programmiersprachen bieten aufgrund der Abstraktion von Hardware- und Implementierungsdetails eine gute Basis zur Entwicklung zuverlässiger Software. Heute deklarative Sprachen basieren meistens auf einem einzigen Paradigma, wodurch einerseits der Anwendungsbereich eingeschränkt ist, andererseits ähnliche Fragestellungen mehrfach bearbeitet werden. Gegenstand dieses Vorhabens sind daher 1) die Konzeption und Realisierung einer deklarativen Programmiersprache, die bekannte Programmierparadigmen integriert, 2) die Entwicklung von Techniken zur Analyse deklarativer Programme in einem einheitlichen Rahmen, 3) die Anwendung der Analysetechniken zur Implementierung, Transformation und partiellen Verifikation von Programmen. Das Ziel ist eine Analyse- und Programmierumgebung für eine einheitliche deklarative Sprache, die als gemeinsame Basis in der Ausbildung deklarativer Programmiertechniken dienen kann, und die die Anwendungsbereiche heutiger funktionaler und logischer Programmiersprachen subsumiert. Außerdem kann sie als Basis zur Integration heute noch separater Forschungsaktivitäten dienen.

• DFG-Verfahren: Sachbeihilfen