Toward automatic program synthesis
From MaRDI portal
Publication:5617314
DOI10.1145/362566.362568zbMath0214.43006OpenAlexW2037237472MaRDI QIDQ5617314
Zohar Manna, Richard Waldinger
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
Extraction of a program from deduction and its regularity. I, Special issue on syntax-guided synthesis preface, A theory, implementation and applications of human-like understanding, Synthesising recursive functions with side effects, Proof normalization with nonstandard objects, A characterization of Moessner's sieve, Combining model finder and genetic programming into a general purpose automatic program synthesizer, Knowledge and reasoning in program synthesis, Bugs, Moles and Skeletons: Symbolic Reasoning for Software Development, A deductive solution for plan generation, Programming by examples, Automatic insertion of indexing instructions in program synthesis, STRIPS: A new approach to the application of theorem proving to problem solving, On the inference of Turing machines from sample computations, The verification and synthesis of data structures, Extracting Lisp programs from constructive proofs: A formal theory of constructive mathematics based on Lisp, On self-modifying programs, From Predicates to Programs: The Semantics of a Method Language
