Toward automatic program synthesis
From MaRDI portal
Publication:5617314
DOI10.1145/362566.362568zbMath0214.43006MaRDI QIDQ5617314
Richard Waldinger, Zohar Manna
Publication date: 1971
Published in: Communications of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/362566.362568
Related Items
Bugs, Moles and Skeletons: Symbolic Reasoning for Software Development, A deductive solution for plan generation, A theory, implementation and applications of human-like understanding, Extracting Lisp programs from constructive proofs: A formal theory of constructive mathematics based on Lisp, Synthesising recursive functions with side effects, Proof normalization with nonstandard objects, Knowledge and reasoning in program synthesis, Programming by examples, The verification and synthesis of data structures, On self-modifying programs, STRIPS: A new approach to the application of theorem proving to problem solving, On the inference of Turing machines from sample computations, Extraction of a program from deduction and its regularity. I, Automatic insertion of indexing instructions in program synthesis