Analytical Inductive Functional Programming

DOI10.1007/978-3-642-00515-2_7zbMath1185.68197OpenAlexW2153618117MaRDI QIDQ3617432

Emanuel Kitzelmann

Publication date: 24 March 2009

Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-00515-2_7

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (2)

Ultra-strong machine learning: comprehensibility of programs learned with ILP ⋮ Drill and Join: A Method for Exact Inductive Program Synthesis

Uses Software

• Maude
• FOIL
• GOLEM

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A Methodology for LISP Program Construction from Examples
• Inductive Logic Programming: Theory and methods
• Inductive synthesis of recursive logic programs: achievements and prospects
• Fully Automatic Testing with Functions as Specifications
• Language identification in the limit

This page was built for publication: Analytical Inductive Functional Programming