Program Synthesis

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


The derivation of a program to meet a given specification. The specification expresses conditions that the program must satisfy, but does not need to give an algorithm or method. The program is typically derived in such a way that its correctness with respect to the specification is guaranteed.


Transformation System Knowledge Engineering Production Rule Language Program Action Rule 
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.

Copyright information

© Springer-Verlag Berlin Heidelberg 1984

Authors and Affiliations

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

Personalised recommendations