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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Schmid, Ute (Επιμελητής έκδοσης), Kitzelmann, Emanuel (Επιμελητής έκδοσης), Plasmeijer, Rinus (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
• Σειρά: Lecture Notes in Computer Science, 5812
• Θέματα: 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.

Πίνακας περιεχομένων:

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