Analytical Inductive Functional Programming
From MaRDI portal
Recommendations
- Inductive synthesis of functional programs: an explanation based generalization approach
- Inducing constructor systems from example-terms by detecting syntactical regularities
- scientific article; zbMATH DE number 2090035
- Inductive synthesis of functional programs. Universal planning, folding of finite programs, and schema abstraction by analogical reasoning.
- A knowledge-based approach to program synthesis from examples
Cites work
- A Methodology for LISP Program Construction from Examples
- Fully Automatic Testing with Functions as Specifications
- scientific article; zbMATH DE number 2043522 (Why is no real title available?)
- scientific article; zbMATH DE number 3349329 (Why is no real title available?)
- Inductive Logic Programming: Theory and methods
- Inductive synthesis of functional programs: an explanation based generalization approach
- Inductive synthesis of recursive logic programs: achievements and prospects
- Language identification in the limit
Cited in
(8)- Ultra-strong machine learning: comprehensibility of programs learned with ILP
- A functional perspective on machine learning via programmable induction and abduction
- scientific article; zbMATH DE number 1692900 (Why is no real title available?)
- Inducing constructor systems from example-terms by detecting syntactical regularities
- Drill and join: a method for exact inductive program synthesis
- Inductive synthesis of functional programs: an explanation based generalization approach
- scientific article; zbMATH DE number 4062639 (Why is no real title available?)
- Representative sample of LISP program inference from examples
This page was built for publication: Analytical Inductive Functional Programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3617432)
