Knowledge and reasoning in program synthesis

DOI10.1016/0004-3702(75)90008-9zbMath0303.68012OpenAlexW2003879744WikidataQ56288494 ScholiaQ56288494MaRDI QIDQ1216171

Zohar Manna, Richard Waldinger

Publication date: 1975

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0004-3702(75)90008-9

Mathematics Subject Classification ID

Pattern recognition, speech recognition (68T10) General topics in the theory of software (68N01)

Related Items (6)

The McCarthy's recursion induction principle: oldy but goody ⋮ Unfold/fold transformations of logic programs ⋮ Unnamed Item ⋮ Infinite trees in normal form and recursive equations having a unique solution ⋮ Synthetic programming ⋮ On synthesis of scheduling algorithms

Cites Work

• A Machine-Oriented Logic Based on the Resolution Principle
• An axiomatic basis for computer programming
• Toward automatic program synthesis
• Experiments with a Heuristic Compiler
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Knowledge and reasoning in program synthesis