product iamge

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

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Download
Search on Amazon

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

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.

Author(s): Neil Mitchell (auth.), Ute Schmid, Emanuel Kitzelmann, Rinus Plasmeijer (eds.)
Series: Lecture Notes in Computer Science 5812
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2010

Language: English
Pages: 195
City: Berlin Heidelberg
Tags: Software Engineering; Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Information Systems Applications (incl.Internet); Programming Techniques

Front Matter....Pages -
Deriving a Relationship from a Single Example....Pages 1-24
Synthesis of Functions Using Generic Programming....Pages 25-49
Inductive Programming: A Survey of Program Synthesis Techniques....Pages 50-73
Incremental Learning in Inductive Programming....Pages 74-92
Enumerating Well-Typed Terms Generically....Pages 93-116
Generalisation Operators for Lists Embedded in a Metric Space....Pages 117-139
Porting IgorII from Maude to Haskell ....Pages 140-158
Automated Method Induction: Functional Goes Object Oriented....Pages 159-173
Recent Improvements of MagicHaskeller....Pages 174-193
Back Matter....Pages -