Approaches and Applications of Inductive Programming, Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers - researchr publication

researchr

You are not signed in
Sign in
Sign up

Ute Schmid, Emanuel Kitzelmann, Rinus Plasmeijer, editors, Approaches and Applications of Inductive Programming, Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers. Volume 5812 of Lecture Notes in Computer Science, Springer, 2010. [doi]

Conference: AAIP2010

Abstract is missing.

Deriving a Relationship from a Single ExampleNeil Mitchell. 1-24 [doi]

Synthesis of Functions Using Generic ProgrammingPieter W. M. Koopman, Rinus Plasmeijer. 25-49 [doi]

Inductive Programming: A Survey of Program Synthesis TechniquesEmanuel Kitzelmann. 50-73 [doi]

Incremental Learning in Inductive ProgrammingRobert Henderson. 74-92 [doi]

Enumerating Well-Typed Terms GenericallyAlexey Rodriguez Yakushev, Johan Jeuring. 93-116 [doi]

Generalisation Operators for Lists Embedded in a Metric SpaceVicent Estruch, César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana. 117-139 [doi]

Porting IgorII from Maude to HaskellMartin Hofmann 0008, Emanuel Kitzelmann, Ute Schmid. 140-158 [doi]

Automated Method Induction: Functional Goes Object OrientedThomas Hieber, Martin Hofmann 0008. 159-173 [doi]

Recent Improvements of MagicHaskellerSusumu Katayama. 174-193 [doi]

runs on WebDSL