Search the dblp DataBase

Publications of Author

1. Martin Hofmann 0008, Andreas Hirschberger, Emanuel Kitzelmann, Ute Schmid
   Inductive Synthesis of Recursive Functional Programs. [Citation Graph (0, 0)][DBLP]
   KI, 2007, pp:468-472 [Conf]
   
2. 
   Data-Driven Detection of Recursive Program Schemes. [Citation Graph (, )][DBLP]
   
   
3. 
   Analysis and Evaluation of Inductive Programming Systems in a Higher-Order Framework. [Citation Graph (, )][DBLP]
   
   
4. 
   I/O guided detection of list catamorphisms: towards problem specific use of program templates in IP. [Citation Graph (, )][DBLP]
   
   
5. 
   IGOR2 - an analytical inductive functional programming system: tool demo. [Citation Graph (, )][DBLP]
   
   
6. 
   Evolutionary Programming Guided by Analytically Generated Seeds. [Citation Graph (, )][DBLP]
   
   
7. 
   Porting IgorII from Maude to Haskell. [Citation Graph (, )][DBLP]