David R. Barstow, Elaine Kant. Observations on the Interaction Between Coding and Efficiency Knowledge in the PSI Program Synthesis System. In ICSE. pages 19-31, 1976.
@inproceedings{BarstowK76,
title = {Observations on the Interaction Between Coding and Efficiency Knowledge in the PSI Program Synthesis System},
author = {David R. Barstow and Elaine Kant},
year = {1976},
researchr = {https://researchr.org/publication/BarstowK76},
cites = {0},
citedby = {0},
pages = {19-31},
booktitle = {ICSE},
}