On the Efficient Synthesis of Efficient Programs*
Elaine Kant , Computer Science Department, Carnegie-Mellon University, Pittsburgh, PA 15213, U.S.A.
R.M. Burstall
ABSTRACT
Efficiency is a problem in automatic programming—both in the programs produced and in the synthesis process itself. The efficiency problem arises because many target-language programs (which vary in their time and space performance) typically satisfy one abstract specification. This paper presents a framework for using analysis and searching knowledge to guide program synthesis in a stepwise refinement paradigm. A particular implementation of the framework, called LIBRA, is described. Given a program specification that includes size and frequency notes, the performance ...
Get Readings in Artificial Intelligence and Software Engineering now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
