Advertisement

Algorithm Synthesis: A Comparative Study

  • D. M. Steier
  • A. P. Anderson

Table of contents

  1. Front Matter
    Pages i-ix
  2. D. M. Steier, A. P. Anderson
    Pages 1-7
  3. D. M. Steier, A. P. Anderson
    Pages 8-23
  4. D. M. Steier, A. P. Anderson
    Pages 24-38
  5. D. M. Steier, A. P. Anderson
    Pages 39-46
  6. D. M. Steier, A. P. Anderson
    Pages 47-62
  7. D. M. Steier, A. P. Anderson
    Pages 63-77
  8. D. M. Steier, A. P. Anderson
    Pages 78-94
  9. D. M. Steier, A. P. Anderson
    Pages 95-103
  10. D. M. Steier, A. P. Anderson
    Pages 104-111
  11. Back Matter
    Pages 112-118

About this book

Introduction

In early 1986, one of us (D.M.S.) was constructing an artificial intelligence system to design algorithms, and the other (A.P.A.) was getting started in program transformations research. We shared an office, and exchanged a few papers on the systematic development of algorithms from specifications. Gradually we realized that we were trying to solve some of the same problems. And so, despite radical differences between ourselves in research approaches, we set out together to see what we could learn from these papers. That's how this book started: a couple of graduate students trying to cope with The Literature. At first, there was just a list of papers. One of us (D.M.S.) tried to cast the papers in a uniform framework by describing the problem spaces searched, an approach used in artificial intelligence for understanding many tasks. The generalized problem space descriptions, though useful, seemed to abstract too much, so we decided to compare papers by different authors dealing with the same algorithm. These comparisons proved crucial: for then we began to see similar key design choices for each algorithm.

Keywords

N-Queens Quicksort Schorr-Waite Graph Marking algorithm design algorithm synthesis algorithms artificial intelligence automatic programming convex hull depth-first search derivation insertion sort program transformation software engineering

Authors and affiliations

  • D. M. Steier
    • 1
  • A. P. Anderson
    • 1
  1. 1.School of Computer ScienceCarnegie Mellon UniversityPittsburghUSA

Bibliographic information