On the efficient synthesis of efficient programs
- 31 May 1983
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 20 (3), 253-305
- https://doi.org/10.1016/0004-3702(83)90009-7
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Transformational Implementation: An ExampleIEEE Transactions on Software Engineering, 1981
- Semantics of probabilistic programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1979
- Synthesis: Dreams → ProgramsIEEE Transactions on Software Engineering, 1979
- Automatic data structure selectionCommunications of the ACM, 1978
- Abstraction mechanisms in CLUCommunications of the ACM, 1977
- A Transformation System for Developing Recursive ProgramsJournal of the ACM, 1977
- Abstraction and Verification in Alphard: Introduction to Language and MethodologyPublished by Springer Nature ,1976
- Mechanical program analysisCommunications of the ACM, 1975