Normal view MARC view ISBD view

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, Rinus Plasmeijer. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - IX, 195p. online resource. - Lecture Notes in Computer Science, 5812 0302-9743 ; . - Lecture Notes in Computer Science, 5812 .

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.

ISBN: 9783642119316

Standard No.: 10.1007/978-3-642-11931-6 doi

Subjects--Topical Terms:
Computer science.
Software engineering.
Logic design.
Information systems.
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.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1