Martin Hofmann

12 papers A 1C 3Misc 2Journal 2Unranked 3
YearRankTypeTitle / Venue / Authors
2012 J jnl
Schema-Guided Inductive Functional Programming - Through Automatic Detection of Type Morphisms.
Künstliche Intell.
Martin Hofmann
2010 A conf
Data-Driven Detection of Recursive Program Schemes.
ECAI
Martin Hofmann, Ute Schmid
2010 C conf
I/O guided detection of list catamorphisms: towards problem specific use of program templates in IP.
PEPM
Martin Hofmann, Emanuel Kitzelmann
2010 C conf
IGOR2 - an analytical inductive functional programming system: tool demo.
PEPM
Martin Hofmann
2010 — conf
Incident Mining Using Structural Prototypes.
IEA/AIE (2)
Ute Schmid, Martin Hofmann, Florian Bader, Tilmann Häberle, Thomas Schneider
2010 — —
Schema-guided inductive functional programming through automatic detection of type morphisms.
Martin Hofmann
2009 — conf
Automated Method Induction: Functional Goes Object Oriented.
AAIP
Thomas Hieber, Martin Hofmann
2009 C conf
Evolutionary Programming Guided by Analytically Generated Seeds.
IJCCI
Neil Crossley, Emanuel Kitzelmann, Martin Hofmann, Ute Schmid
2009 J jnl
Inductive Programming.
Künstliche Intell.
Ute Schmid, Martin Hofmann, Emanuel Kitzelmann
2009 — conf
Porting IgorII from Maude to Haskell.
AAIP
Martin Hofmann, Emanuel Kitzelmann, Ute Schmid
2008 Misc conf
Analysis and Evaluation of Inductive Programming Systems in a Higher-Order Framework.
KI
Martin Hofmann, Emanuel Kitzelmann, Ute Schmid
2007 Misc conf
Inductive Synthesis of Recursive Functional Programs.
KI
Martin Hofmann, Andreas Hirschberger, Emanuel Kitzelmann, Ute Schmid