Knowledgebased Pgm Constr
Selection of representations for data structures
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
Goal-directed program transformation
POPL '76 Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages
Efficiency considerations in program synthesis: a knowledge-based approach.
Efficiency considerations in program synthesis: a knowledge-based approach.
Automating the Selection of Implementation Structures
IEEE Transactions on Software Engineering
Synthesizing algorithms with performance constraints
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Synthesizing algorithms with performance constraints
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
| Hi-index | 0.00 |
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 associatod 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.