NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login

Press Enter or click the Search button to begin your search.

Back to Results
Toward automatic program synthesisAutomatic computer program synthesis based on theorem proving approach for construction of recursive and iterative programs operating on natural numbers, lists and trees
Document ID
19710043271
Acquisition Source
Legacy CDMS
Document Type
Reprint (Version printed in journal)
Authors
Manna, Z.
Waldinger, R. J.
Date Acquired
August 6, 2013
Publication Date
March 1, 1971
Subject Category
Computers
Accession Number
71A23968
Funding Number(s)
CONTRACT_GRANT: ARPA SD-183
CONTRACT_GRANT: NAS12-2221
CONTRACT_GRANT: AF 19/628/-C-0246
Distribution Limits
Public
Copyright
Other

Available Downloads

There are no available downloads for this record.

Related Records

There are no records associated with this record.
No Preview Available