Strategies for the Synthesis of Algorithms
- 1 January 1978
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Toward automatic program synthesisCommunications of the ACM, 1971
- Algorithm 64: QuicksortCommunications of the ACM, 1961