| authors |
Kant, Elaine |
| year |
1980 |
| title |
A Knowledge-Based Approach to Using Efficiency Estimation in Program Synthesis |
| source |
1980? pp. 457-462. includes bibliography |
| summary |
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 application 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 programs that classify, retrieve information, sort, and generate prime numbers |
| keywords |
knowledge base, systems, programming, performance, synthesis, evaluation |
| series |
CADline |
| references |
Content-type: text/html
Access Temporarily Restricted
Access Temporarily Restricted
Too many requests detected. Please wait 60 seconds or verify that you are a human.
If you are a human user and need immediate access, you can click the button below to continue:
If you continue to experience issues, please open a ticket at
papers.cumincad.org/helpdesk
|
| last changed |
1999/02/12 15:08 |
|
