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: