June 2014
Intermediate to advanced
624 pages
33h 31m
English
Michael A. Bauer, Department of Computer Science, The University of Western Ontario, London, Ont., Canada
Recommended by S. Amarel; Received June 1978; revised version received December 1978
In this paper, examples of how an algorithm behaves on particular input are considered as possible means of describing the algorithm. In particular, a simple language for examples (a Computational Description Language) is presented and an algorithm for the synthesis of a procedure from a set of such example computations is described. The algorithm makes use of knowledge about variables, inputs, instructions and procedures during the synthesis process to guide the formation of a procedure. Several examples of procedures ...
Read now
Unlock full access