Approaches and Applications of Inductive Programming [electronic resource] : Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009, Revised Papers /
AAIP 2009(2009 :Edinburgh, Scotland)
Schmid, Ute.editor.
Kitzelmann, Emanuel.editor.
Bibliographic Level Mode of Issuance: Monograph
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.
Software engineering.
Artificial intelligence.
Mathematical logic.
Computer logic.
Application software.
Computer programming.
Software Engineering.
Artificial Intelligence.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Information Systems Applications (incl. Internet).
Programming Techniques.
Lecture notes in computer science