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

• Corporate Author: SpringerLink (Online service)
• Other Authors: Schmid, Ute (Editor), Kitzelmann, Emanuel (Editor), Plasmeijer, Rinus (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
• Series: Lecture Notes in Computer Science, 5812
• Subjects: Computer science.; Computer programming.; Software engineering.; Computer logic.; Mathematical logic.; Artificial intelligence.; Computer Science.; Software Engineering.; Artificial Intelligence (incl. Robotics).; Mathematical Logic and Formal Languages.; Logics and Meanings of Programs.; Information Systems Applications (incl. Internet).; Programming Techniques.

Table of Contents:

• 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.