Systematische Fehlersuche in deklarativen Programmen

• Antragsteller: Professor Dr. Michael Hanus
• Fachliche Zuordnung: Softwaretechnik und Programmiersprachen
• Förderung: Förderung von 2004 bis 2010
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5427727

Deklarative Programmiersprachen bieten aufgrund der Abstraktion von Hardware- und Implementierungsdetails eine gute Basis zur Entwicklung zuverlässiger Software. Hierdurch können viele typische Fehler imperativer Programme nicht auftreten, so dass sich die Behebung möglicher Programmierfehler stärker auf die intendierte Logik des Programms konzentrieren muss. Aus diesem Grund werden spezielle Werkzeuge benötigt, die der hohen Sprachebene gerecht werden, auf der die Fehlersuche durchzuführen ist. Gegenstand dieses Vorhabens sind daher 1. die Konzeption und Realisierung verschiedener Werkzeuge zur Fehlersuche in deklarativen Programmen, 2. die Verifikation wichtiger Eigenschaften der Werkzeuge, um die Erstellung verlässlicher Software mit ihrer Hilfe zu gewährleisten, und 3. die Integration dieser Werkzeuge und verschiedener Ansätze zur deklarativen Fehlersuche in einem einheitlichen Rahmen. Die konkrete Realisierung dieser Werkzeuge soll für die Multiparadigmen-Sprache Curry erfolgen, die verschiedene deklarative Sprachkonzepte miteinander vereinigt und schon in der Lehre und Anwendungsentwicklung eingesetzt worden ist. Projektbegleitend ist die Erstellung einiger größerer Anwendungen im Rahmen der studentischen Ausbildung geplant, um die Anwendbarkeit der realisierten Werkzeuge zu evaluieren.

• DFG-Verfahren: Sachbeihilfen