Login / Signup
AAIP
2005
2008
2011
2005
2011
Keyphrases
Publications
2011
Proceedings of AAIP 2011 - 4th International Workshop on Approaches and Applications of Inductive Programming, Odense, Denmark, July 19, 2011
AAIP
(2011)
Susumu Katayama
An Analytical Inductive Functional Programming System that Avoids Unintended Programs.
AAIP
(2011)
Jorge A. Bedoya-Puerta
,
Jose Hernandez-Orallo
,
Cesar Ferri
,
Maria-Jose Ramírez-Quintana
Applying distances between terms to both flat and hierarchical data.
AAIP
(2011)
Susumu Katayama
MagicHaskeller: System demonstration.
AAIP
(2011)
Emanuel Kitzelmann
Two New Operators for IGOR2 to Increase Synthesis Efficiency.
AAIP
(2011)
Larry Diehl
Verified Stack-Based Genetic Programming via Dependent Types.
AAIP
(2011)
volume 5812, 2010
Approaches and Applications of Inductive Programming, Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers
AAIP
5812 (2010)
2009
Susumu Katayama
Recent Improvements of MagicHaskeller.
AAIP
(2009)
Alexey Rodriguez Yakushev
,
Johan Jeuring
Enumerating Well-Typed Terms Generically.
AAIP
(2009)
Pieter W. M. Koopman
,
Rinus Plasmeijer
Synthesis of Functions Using Generic Programming.
AAIP
(2009)
Martin Hofmann
,
Emanuel Kitzelmann
,
Ute Schmid
Porting IgorII from Maude to Haskell.
AAIP
(2009)
Vicent Estruch
,
César Ferri
,
José Hernández-Orallo
,
M. José Ramírez-Quintana
Generalisation Operators for Lists Embedded in a Metric Space.
AAIP
(2009)
Neil Mitchell
Deriving a Relationship from a Single Example.
AAIP
(2009)
Emanuel Kitzelmann
Inductive Programming: A Survey of Program Synthesis Techniques.
AAIP
(2009)
Robert Henderson
Incremental Learning in Inductive Programming.
AAIP
(2009)
Thomas Hieber
,
Martin Hofmann
Automated Method Induction: Functional Goes Object Oriented.
AAIP
(2009)