Systematische Fehlersuche in deklarativen Programmen

• Applicant: Professor Dr. Michael Hanus
• Subject Area: Software Engineering and Programming Languages
• Term: from 2004 to 2010
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 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 Programme: Research Grants