On Program Synthesis Knowledge**This research was supported in part by the Advanced Research Projects Agency under ARPA Order 2494, Contract MDA903–76–C–0206, and in part by the National Science Foundation under NSF Grant MCS 77–05740. A major portion of the work described herein was done while the authors were in the Computer Science Department of Stanford University. The views and conclusions contained in this document are those of the authors and should not be interpreted as necessarily representing the official policies, either expressed or implied, of Stanford University, Yale University, Systems Control Inc. or the U.S. Government.
1986 ◽
pp. 455-474