Application of the theory of Tree Transducers to functional programs

• Applicant: Dr.-Ing. Armin Kühnemann
• Subject Area: Theoretical Computer Science
• Term: from 1999 to 2006
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 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 Programme: Research Grants
• International Connection: Hungary, Japan
• Participating Persons: Professor Dr. Zotán Fülöp; Professor Dr. Robert Glück