Anwendung der Theorie der Tree Transducer in der funktionalen Programmierung

• Antragsteller: Dr.-Ing. Armin Kühnemann
• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung von 1999 bis 2006
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5204849

In funktionalen Programmen treten sehr häufig primitiv-rekursive Funktionsspezifikationen auf. In der Theorie der Tree Transducer werden für diesen Spezifikationstyp insbesondere theoretische Fragestellungen behandelt, deren Beantwortung für die effizientere Implementierung funktionaler Programmiersprachen nützlich sein wird. Wir wollen untersuchen, inwieweit sich Ergebnisse aus der Theorie der Tree Transducer zur Komposition von Funktionen für die effizientere Implementierung funktionaler Sprachen verwenden lassen. Dazu soll insbesondere die Verwandtschaft der Komposition von Tree Transducern mit bereits existierenden Methoden zur Effizienzsteigerung bei funktionalen Programmen, insbesondere mit dem Verfahren Deforestation, aufgedeckt und ausgenutzt werden. Gegebenenfalls sollen beide Methoden unter Berücksichtigung der jeweils anderen Methode weiterentwickelt werden.

• DFG-Verfahren: Sachbeihilfen
• Internationaler Bezug: Japan, Ungarn
• Beteiligte Personen: Professor Dr. Zotán Fülöp; Professor Dr. Robert Glück