Approaches and Applications of Inductive Programming

Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009, Revised Papers

208 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

Invited Papers.- Deriving a Relationship from a Single Example.- Synthesis of Functions Using Generic Programming.- Regular Papers.- Inductive Programming: A Survey of Program Synthesis Techniques.- Incremental Learning in Inductive Programming.- Enumerating Well-Typed Terms Generically.- Generalisation Operators for Lists Embedded in a Metric Space.- Porting IgorII from Maude to Haskell.- Automated Method Induction: Functional Goes Object Oriented.- Recent Improvements of MagicHaskeller.

• Reihe: Lecture Notes in Computer Science
• Themen: Informatik und Informationstechnologie Informatik Künstliche Intelligenz (KI)
• ISBN: 9783642119309
• Sprache: Englisch
• Erscheinungsdatum: 14.04.2010
• Größe: 235 x 155 mm
• Verlag: Springer Spektrum
• Herausgegeben von: Emanuel Kitzelmann, Ute Schmid