The Refinement Paradigm: The Interaction of Coding and Efficiency Knowledge in Program Synthesis

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.

Abstract

Abstract is missing.