Algorithm Synthesis: A Comparative Study by David M. Steier, A. Penny Anderson.

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....

Full description

Saved in:
Bibliographic Details
Main Authors: Steier, David M. (Author), Anderson, A. Penny (Author)
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: New York, NY : Springer New York : Imprint: Springer, 1989.
Edition:1st ed. 1989.
Series:Springer eBook Collection.
Subjects:
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.