NASA NTRS · 19710043271
Toward automatic program synthesis
Abstract
Automatic computer program synthesis based on theorem proving approach for construction of recursive and iterative programs operating on natural numbers, lists and trees
Keep this discovery
Explore connections, maps & timelines
Manna, Z., Waldinger, R. J.. 1971-03-01. Toward automatic program synthesis. https://ntrs.nasa.gov/citations/19710043271
Cite the original work for its findings. Save a collection to share your selection of sources.