Normal view MARC view ISBD view

Approaches and Applications of Inductive Programming [electronic resource] : Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers / edited by Ute Schmid, Emanuel Kitzelmann, Rinus Plasmeijer.

By: Schmid, Ute [editor.].
Contributor(s): Kitzelmann, Emanuel [editor.] | Plasmeijer, Rinus [editor.] | SpringerLink (Online service).
Material type: materialTypeLabelBookSeries: Lecture Notes in Computer Science: 5812Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Description: IX, 195p. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783642119316.Subject(s): 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 TechniquesDDC classification: 005.1 Online resources: Click here to access online
Contents:
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.
In: Springer eBooksSummary: This book constitutes revised papers of the Third International Workshop on approaches and Applications of Inductive Programming, AAIP 2009, held in Edinburgh, UK, in September 2009. The 7 full papers included in this volume were carefully reviewed and selected. The book also contains two invited papers.
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

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.

This book constitutes revised papers of the Third International Workshop on approaches and Applications of Inductive Programming, AAIP 2009, held in Edinburgh, UK, in September 2009. The 7 full papers included in this volume were carefully reviewed and selected. The book also contains two invited papers.

There are no comments for this item.

Log in to your account to post a comment.

2017 | The Technical University of Kenya Library | +254(020) 2219929, 3341639, 3343672 | library@tukenya.ac.ke | Haile Selassie Avenue