Applications of a strategy for designing divide-and-conquer algorithms
- 30 June 1987
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 8 (3), 213-229
- https://doi.org/10.1016/0167-6423(87)90034-7
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Top-down synthesis of divide-and-conquer algorithmsArtificial Intelligence, 1985
- The design of divide and conquer algorithmsScience of Computer Programming, 1985
- Programming pearlsCommunications of the ACM, 1984
- A note on a standard strategy for developing loop invariants and loopsScience of Computer Programming, 1982
- Finite Differencing of Computable ExpressionsACM Transactions on Programming Languages and Systems, 1982
- Knowledge and reasoning in program synthesisArtificial Intelligence, 1975