A Knowledge-Based Approach to Using Efficiency Estimation in Program Synthesis
Proceedings of the Sixth International Joint Conference on Artificial Intelligence. .
Abstract
This paper describes a system for using efficiency knowledge in program synthesis. The system, called LIBRA, uses a combination of knowledge-based rules and algebraic cost estimates to compare potential program Implementations. Efficiency· knowledge is used to control the selection of algorithm and data structure implementations and the 11pplicalion of optimizing transformations. Prototypes of programming constructs and of cost estimation techniques are used to simplify the efficiency analysis process and to assist in the acquisition of efficiency knowledge associated with new coding knowledge. LIBRA has been used to guide the selection of implementations for several proarams that classify, retrieve information, sort, and generate prime numbers
@inproceedings{ijcai1979p100,
title = {A Knowledge-Based Approach to Using Efficiency Estimation in Program Synthesis},
author = {Kant, Elaine},
booktitle = {Proceedings of the Sixth International Joint Conference on
Artificial Intelligence, {IJCAI-79}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Bruce G. Buchanan},
year = {1979},
month = {8},
url = {https://ijcai.org/proceedings/1979/100},
}
TY - CPAPER TI - A Knowledge-Based Approach to Using Efficiency Estimation in Program Synthesis AU - Kant, Elaine T2 - Proceedings of the Sixth International Joint Conference on Artificial Intelligence, IJCAI-79 PB - International Joint Conferences on Artificial Intelligence PY - 1979 UR - https://ijcai.org/proceedings/1979/100 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
