Inducing constructor systems from example-terms by detecting syntactical regularities

DOI10.1016/J.ENTCS.2006.11.015MaRDI QIDQ2864518zbMATH OpenOpenAlexFDO

Authors Emanuel Kitzelmann, Ute Schmid

Publication date 6 December 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2006.11.015

zbMATH Keywords

functional programmingrule-based programmingconstructor systemsinductive program synthesis

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Functional programming and lambda calculus (68N18)

Recommendations

• Analytical Inductive Functional Programming
• Inductive synthesis of functional programs: an explanation based generalization approach
• scientific article; zbMATH DE number 2090035
• scientific article; zbMATH DE number 3982491
• Inductive synthesis of term rewriting systems

Cites work

• scientific article; zbMATH DE number 3963167 (Why is no real title available?)
• scientific article; zbMATH DE number 3621163 (Why is no real title available?)
• scientific article; zbMATH DE number 1179314 (Why is no real title available?)
• scientific article; zbMATH DE number 2043522 (Why is no real title available?)
• scientific article; zbMATH DE number 1414272 (Why is no real title available?)
• A Methodology for LISP Program Construction from Examples
• Inductive synthesis of functional programs: an explanation based generalization approach
• Inductive synthesis of recursive logic programs: achievements and prospects

Cited in

(1)

• Analytical Inductive Functional Programming

Describes a project that uses

Uses Software

• Maude

This page was built for publication: Inducing constructor systems from example-terms by detecting syntactical regularities

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2864518)