• 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.



Pixel Intensity Image Boundary Computer Vision System Synthesis Module Alternative Implementation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  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