Data-driven Induction of Functional Programs

13 years 6 months ago

Download www.cogsys.wiai.uni-bamberg.de

We present a new method and system, called IGOR2, for the induction of recursive functional programs from few nonrecursive, possibly non-ground example equations describing a subset of the input-output behaviour of a function to be implemented.

Emanuel Kitzelmann

Real-time Traffic

Artificial Intelligence | ECAI 2008 | Non-ground Example Equations | Recursive Functional Programs |

claim paper

» High Level Synthesis for DataDriven Applications

» WAVE Automatic Verification of DataDriven Web Services

» Logic Programming Functional Programming and Inductive Definitions

» Incremental Learning in Inductive Programming

» A Brief Overview of Agda A Functional Language with Dependent Types

» Analysis and Evaluation of Inductive Programming Systems in a HigherOrder Framework

» Power of BruteForce Search in StronglyTyped Inductive Functional Programming Automation

» Specialization of Inductively Sequential Functional Logic Programs

» Transporting functions across ornaments

Post Info
More Details (n/a)

Added	19 Oct 2010
Updated	19 Oct 2010
Type	Conference
Year	2008
Where	ECAI
Authors	Emanuel Kitzelmann

Comments (0)

Sciweavers

Data-driven Induction of Functional Programs

Artificial Intelligence | ECAI 2008 | Non-ground Example Equations | Recursive Functional Programs |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers