Algorithm Synthesis: A Comparative Study

摘要: 1 Introduction.- 2 Insertion Sort.- 2.1. Green and Barstow.- 2.2. Broy.- 2.3. Smith.- 2.4. Clark Darlington.- 2.5. Composite.- 3 Quicksort.- 3.1. 3.2. 3.3. 3.4. 3.5. 4 Cartesian Set Product.- 4.1. Manna Waldinger.- 4.2. 4.3. 5 Depth-First Search.- 5.1. Broy Pepper.- 5.2. Reif Scherlis.- 5.3. Gerhart.- 5.4. 5.5. 6 Schorr-Waite Graph Marking.- 6.1. 6.2. 6.3. Griffiths.- 6.4. 7 N-Queens.- 7.1. Balzer.- 7.2. 7.3. Wirth.- 7.4. 8 Convex Hull.- 8.1. 8.2. Kant Newell.- 8.3. 9 Design Space: The Final Frontier.- 9.1. Goals.- 9.2. Languages.- 9.3. Derivation Structure.- 9.4. Implementations.- 9.5. Presentation Styles.- References.