• Alan Bundy
  • Lincoln Wallen
Part of the Symbolic Computation book series (SYMBOLIC)


PSI is a knowledge based program synthesis <193> system developed at Stanford. The synthesis module consists of two major sub-systems:
  1. 1.

    PECOS, the coding expert, is a set of refinement rules for program synthesis which represent a range of knowledge about sets, xmappings, arrays, etc.

  2. 2.

    LIBRA, the efficiency expert, consists of knowledge which enables the system to evaluate alternative implementations of a program.





  1. [Barstow 79]
    Barstow, D. Knowledge-Based Program Construction. Elsevier North Holland, New York. 1979. The Computer Science Library. Programming Language Series.Google Scholar
  2. [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

Copyright information

© Springer-Verlag Berlin Heidelberg 1984

Authors and Affiliations

  • Alan Bundy
    • 1
  • Lincoln Wallen
  1. 1.Department of Artificial IntelligenceEdinburgh UniversityEdinburghScotland

Personalised recommendations