Browsing by Author: Hofmann, Martin

Showing results 1 to 12 of 12
TitleYear of publicationAuthor(s)
Analysis and Evaluation of Inductive Programming Systems in a Higher- Order Framework uniba/182152008Hofmann, Martin; Kitzelmann, Emanuel; Schmid, Ute  
Automated construction of XSL-templates : an inductive programming approach uniba/170332008Hofmann, Martin
Automated Method Induction: Functional Goes Object Oriented uniba/33672010Hieber, Thomas; Hofmann, Martin
Data-Driven Detection of Catamorphisms uniba/39562010Hofmann, Martin
Data-Driven Detection of Catamorphisms - Towards Problem Specific Use of Program Schemes for Inductive Program Synthesis uniba/39532010Hofmann, Martin
Data-Driven Detection of Recursive Program Schemes uniba/39972010Hofmann, Martin; Schmid, Ute  
I/O Guided Detection of List Catamorphisms - Towards Problem Specific Use of Program Templates in IP uniba/39622010Hofmann, Martin; Kitzelmann, Emanuel
Igor II - an Analytical Inductive Functional Programming System (Tool Demo) uniba/39592010Hofmann, Martin
Incident Mining using Structural Prototypes uniba/39572010Schmid, Ute  ; Hofmann, Martin; Bader, Florian
Inductive Synthesis of Recursive Functional Programs - A Comparison of Three Systems uniba/167922007Hofmann, Martin; Hirschberger, Andreas; Kitzelmann, Emanuel; Schmid, Ute  
Porting IGORII from MAUDE to HASKELL uniba/33852010Hofmann, Martin; Kitzelmann, Emanuel; Schmid, Ute  
Schema-Guided Inductive Functional Programming through Automatic Detection of Type Morphisms uniba/2642010Hofmann, Martin