PECOS, the coding expert, is a set of refinement rules for program synthesis which represent a range of knowledge about sets, xmappings, arrays, etc.
LIBRA, the efficiency expert, consists of knowledge which enables the system to evaluate alternative implementations of a program.
- [Barstow 79]Barstow, D. Knowledge-Based Program Construction. Elsevier North Holland, New York. 1979. The Computer Science Library. Programming Language Series.Google Scholar
- [Kant 81]Kant, E, Efficiency in Program Synthesis. Technical Report Computer Science: Artificial Intelligence. No. 8. UMI Research Press, Ann Arbor, Michigan, 1981.Google Scholar