Elaine Kant, David R. Barstow. The Refinement Paradigm: The Interaction of Coding and Efficiency Knowledge in Program Synthesis. IEEE Trans. Software Eng., 7(5):458-471, 1981.
@article{KantB81,
title = {The Refinement Paradigm: The Interaction of Coding and Efficiency Knowledge in Program Synthesis},
author = {Elaine Kant and David R. Barstow},
year = {1981},
tags = {refinement, programming paradigms},
researchr = {https://researchr.org/publication/KantB81},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Software Eng.},
volume = {7},
number = {5},
pages = {458-471},
}