Speeding up the synthesis of programs from traces


Authored By:A. W. Biermann, R. I. Baum and F. E. Petry
Paper Title:Speeding up the synthesis of programs from traces
In:IEEE Trans. on Computers
Vol. C-24
Publication Date: 1975
Pages:122-136