Advances in Computers, Volume 15......Page 4
Copyright Page......Page 5
Contents......Page 6
Contributors......Page 10
Preface......Page 12
1. Introduction......Page 16
2. Extensions to Traditional Automatic Programming Methods......Page 18
3. Program Synthesis from Examples......Page 31
4. Synthesis from Formal Input–Output Specifications......Page 44
5. Translation of Natural Language Commands......Page 55
6. Heuristic Knowledge-Based Algorithm Synthesis......Page 61
7. Comments......Page 73
References......Page 74
1. Introduction......Page 80
2. Abstract Models......Page 82
3. Concrete Application–The Selection of Quadrature Algorithms......Page 92
4. Concrete Application–The Selection of Operating System Schedulers......Page 97
5. Discussion of the Two Concrete Applications......Page 105
6. Approximation Theory Machinery......Page 106
References......Page 132
1. Introduction......Page 134
2. Theoretical Fundamentals......Page 142
3. Program Analysis......Page 156
4. Machine Considerations......Page 173
5. Conclusions......Page 189
References......Page 191
1. The Problem......Page 196
2. Modeling Language Acquisition......Page 206
3. The Problem-Solving Theory......Page 211
4. Conclusion......Page 238
5. Appendix: Grammar Representation......Page 239
References......Page 250
1. Introduction......Page 254
2. The PLATO System......Page 258
3. System Configuration......Page 269
4. Teaching Strategies......Page 271
5. Computational Applications......Page 281
6. A Word about TUTOR......Page 284
7. Evaluation......Page 287
8. Cost of Services......Page 291
References......Page 296
Author Index......Page 300
Subject Index......Page 304
Contents of Previous Volumes......Page 312