A knowledge-based approach to program synthesis from examples

DOI10.1007/BF02943407zbMath0725.68027OpenAlexW2086840629MaRDI QIDQ2277829

Lingzi Jin, Hong Zhu

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

program synthesisorthogonal expansion of programsprogram equations

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Program transformation by solving equations
• A methodology for synthesis of recursive functional programs
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• A Methodology for LISP Program Construction from Examples
• Can programming be liberated from the von Neumann style?
• The Inference of Regular LISP Programs from Examples

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