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

Gespeichert in:

Personen und Körperschaften:	Schmid, Ute (VerfasserIn), Kitzelmann, Emanuel (Sonstige), Plasmeijer, Rinus (Sonstige)
Titel:	Approaches and Applications of Inductive Programming: Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers/ edited by Ute Schmid, Emanuel Kitzelmann, Rinus Plasmeijer
Format:	E-Book Konferenzbericht
Sprache:	Englisch
veröffentlicht:	Berlin, Heidelberg Springer Berlin Heidelberg 2010
Gesamtaufnahme:	SpringerLink Lecture notes in computer science ; 5812
Schlagwörter:	Logic design Information systems Computer Science Computer science Software engineering Artificial intelligence Mathematical logic. Computer logic. Application software. Computer programming. Machine theory. Konferenzschrift > 2009 > Edinburgh
Buchausg. u.d.T.:	Approaches and applications of inductive programming, Berlin : Springer, 2010, VIII, 193 S.
Quelle:	Verbunddaten SWB
Zugangsinformationen:	Elektronischer Volltext - Campuslizenz

Details
Zusammenfassung:	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.
Beschreibung:	Literaturangaben
Umfang:	Online-Ressource (IX, 195p, digital)
ISBN:	9783642119316
DOI:	10.1007/978-3-642-11931-6