This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
The Refinement Paradigm: The Interaction of Coding and Efficiency Knowledge in Program Synthesis
September 1981 (vol. 7 no. 5)
pp. 458-471
E. Kant, Department of Computer Science, Carnegie-Mellon University
A refinement paradigm for implementing a high-level specification in a low-level target language is discussed. In this paradigm, coding and analysis knowledge work together to produce an efficient program in the target language. Since there are many possible implementations for a given specification of a program, searching knowledge is applied to increase the efficiency of the process of finding a good implementation. For example, analysis knowledge is applied to determine upper and lower cost bounds on alternate implementations, and these bounds are used to measure the potential impact of different design decisions and to decide which alternatives should be pursued. In this paper we also describe a particular implementation of this program synthesis paradigm, called PSI/SYN, that has automatically implemented a number of programs in the domain of symbolic processing.
Index Terms:
stepwise refinement, Automatic programming, program development, program efficiency, program synthesis, refinement paradigm
Citation:
E. Kant, D.R. Barstow, "The Refinement Paradigm: The Interaction of Coding and Efficiency Knowledge in Program Synthesis," IEEE Transactions on Software Engineering, vol. 7, no. 5, pp. 458-471, Sept. 1981, doi:10.1109/TSE.1981.230854
Usage of this product signifies your acceptance of the Terms of Use.