Analytical Inductive Functional Programming
From MaRDI portal
Publication:3617432
DOI10.1007/978-3-642-00515-2_7zbMath1185.68197MaRDI QIDQ3617432
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
68N18: Functional programming and lambda calculus
Uses Software
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