02704nam 2200625Ia 450 991048429890332120200520144314.01-280-38580-497866135637293-642-11931-X10.1007/978-3-642-11931-6(CKB)2670000000010114(SSID)ssj0000399590(PQKBManifestationID)11279265(PQKBTitleCode)TC0000399590(PQKBWorkID)10375787(PQKB)10590379(DE-He213)978-3-642-11931-6(MiAaPQ)EBC3065168(PPN)149059736(EXLCZ)99267000000001011420100329d2010 uy 0engurnn|008mamaatxtccrApproaches and applications of inductive programming third international workshop, AAIP 2009, Edinburgh, UK, September 4, 2009 : revised papers /Ute Schmid, Emanuel Kitzelmann, Rinus Plasmeijer (eds.)1st ed. 2010.Berlin Springerc20101 online resource (IX, 195 p. 14 illus.) Lecture notes in computer science,0302-9743 ;5812LNCS sublibrary. SL 2, Programming and software engineeringBibliographic Level Mode of Issuance: Monograph3-642-11930-1 Includes bibliographical references and index.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.Lecture notes in computer science ;5812.LNCS sublibrary.SL 2,Programming and software engineering.AAIP 2009Inductive programmingCongressesFunctional programming (Computer science)CongressesInductive programmingFunctional programming (Computer science)005.1Schmid U(Ute)564613Kitzelmann Emanuel1750512Plasmeijer M. J(Marinus Jacobus)1750513MiAaPQMiAaPQMiAaPQBOOK9910484298903321Approaches and applications of inductive programming4185158UNINA