---
title: "A Knowledge-Based Approach to Using Efficiency Estimation in Program Synthesis"
authors:
  - "Elaine Kant"
doi: ""
url: "https://ijcai.org/proceedings/1979/100"
pdf: "https://ijcai.org/proceedings/1979/0100.pdf"
venue: "Proceedings of the Sixth International Joint Conference on Artificial Intelligence"
year: 1979
pages: ""
track: ""
keywords:
---

# A Knowledge-Based Approach to Using Efficiency Estimation in Program Synthesis

Elaine Kant

*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