A knowledge-based approach to program synthesis from examples

DOI10.1007/BF02943407MaRDI QIDQ2277829zbMATH OpenOpenAlexFDO

Authors Hong Zhu, Lingzi Jin

Publication date 1991

Published in Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf02943407

zbMATH Keywords

orthogonal expansion of programsprogram equationsprogram synthesis

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Knowledge representation (68T30)

Recommendations

• scientific article; zbMATH DE number 4084990
• scientific article; zbMATH DE number 3960972
• scientific article; zbMATH DE number 4020482
• scientific article; zbMATH DE number 3960973
• Inductive synthesis of functional programs: an explanation based generalization approach

Cites work

• A Methodology for LISP Program Construction from Examples
• A methodology for synthesis of recursive functional programs
• Can programming be liberated from the von Neumann style?
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• scientific article; zbMATH DE number 4084981 (Why is no real title available?)
• scientific article; zbMATH DE number 3744496 (Why is no real title available?)
• Program transformation by solving equations
• The Inference of Regular LISP Programs from Examples

Cited in

(9)

• Inductive synthesis of functional programs: an explanation based generalization approach
• Predicate-formation for synthesizing LISP code
• Analytical Inductive Functional Programming
• Editing by example
• A methodology for synthesis of recursive functional programs
• scientific article; zbMATH DE number 4020482 (Why is no real title available?)
• scientific article; zbMATH DE number 4072443 (Why is no real title available?)
• scientific article; zbMATH DE number 907669 (Why is no real title available?)
• Programming by example and proving by example using higher-order unification

This page was built for publication: A knowledge-based approach to program synthesis from examples

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