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.



Copyright information

© Springer-Verlag Berlin Heidelberg 1984

Authors and Affiliations

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

Personalised recommendations