Top-down synthesis of divide-and-conquer algorithms
- 1 September 1985
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 27 (1) , 43-96
- https://doi.org/10.1016/0004-3702(85)90083-9
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Program Development as a Formal ActivityIEEE Transactions on Software Engineering, 1981
- Transformational Implementation: An ExampleIEEE Transactions on Software Engineering, 1981
- Syntax-directed, semantics-supported program synthesisArtificial Intelligence, 1980
- Algorithm classification through synthesisThe Computer Journal, 1980
- Synthesis: Dreams → ProgramsIEEE Transactions on Software Engineering, 1979
- On program synthesis knowledgeArtificial Intelligence, 1978
- A synthesis of several sorting algorithmsActa Informatica, 1978
- Non-resolution theorem provingArtificial Intelligence, 1977
- A Transformation System for Developing Recursive ProgramsJournal of the ACM, 1977
- Control Structure Abstractions of the Backtracking Programming TechniqueIEEE Transactions on Software Engineering, 1976