A Survey and a Categorization Scheme of Automatic Programming Systems
GCSE '99 Proceedings of the First International Symposium on Generative and Component-Based Software Engineering
Integrating declarative knowledge programming styles and tools in a structured object AI environment
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
System verification through program verification
FM'11 Proceedings of the 17th international conference on Formal methods
Design and implementation of an adaptable software environment
Computer Languages
| Hi-index | 0.01 |
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.