Approaches and Applications of Inductive Programming  Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009, Revised Papers /  [electronic resource] : 
edited by Ute Schmid, Emanuel Kitzelmann. 
 - 1st ed. 2010. 
 - IX, 195 p. 14 illus.  online resource. 
 - Lecture Notes in Computer Science,  5812  1611-3349 ; .
 - Lecture Notes in Computer Science,  5812 .
<br/><br/>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. 
<br/><br/><label>ISBN: </label>9783642119316 
<br/><br/><label>Standard No.: </label>10.1007/978-3-642-11931-6  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software engineering.<br/>Artificial intelligence.<br/>Machine theory.<br/>Computer science.<br/>Application software.<br/>Computer programming.<br/>Software Engineering.<br/>Artificial Intelligence.<br/>Formal Languages and Automata Theory.<br/>Computer Science Logic and Foundations of Programming.<br/>Computer and Information Systems Applications.<br/>Programming Techniques.
<br/><br/><label>LC Class. No.: </label>QA76.758 
<br/><br/><label>Dewey Class. No.: </label>005.1