Elaine Kant, David R. Barstow The Refinement Paradigm: The Interaction of Coding and Efficiency Knowledge in Program Synthesis. [Citation Graph (2, 0)][DBLP] IEEE Trans. Software Eng., 1981, v:7, n:5, pp:458-471 [Journal]
David R. Barstow Experience with a Refinement Paradigm in a Knowledge-Based Automatic Programming System. [Citation Graph (0, 0)][DBLP] AISB/GI (ECAI), 1978, pp:15-21 [Conf]
David R. Barstow, Elaine Kant Observations on the Interaction Between Coding and Efficiency Knowledge in the PSI Program Synthesis System. [Citation Graph (0, 0)][DBLP] ICSE, 1976, pp:19-31 [Conf]
David R. Barstow Remarks on "A Synthesis of Several Sorting Algorithms" by John Darlington. [Citation Graph (0, 0)][DBLP] Acta Inf., 1980, v:13, n:, pp:225-227 [Journal]
David R. Barstow On Convergence Toward a Database of Program Transformations. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1985, v:7, n:1, pp:1-9 [Journal]