Program synthesis is the derivation of a program from a specification. When the synthesis is done according to semantically correct TransformationRules the resulting program is a correct implementation of the specification.

See Also

  • BirdMeertensFormalism: calculus for deriving programs
  • ProgramCalculation: methodology for deriving implementations from specifications (synonym)
  • SpecWare: a system for semi-automatic program synthesis
  • ADATE: Automatic Design of Algorithms Through Evolution (ADATE) is a system for automatic programming i.e., inductive inference of algorithms

Revision: r1.3 - 29 Sep 2002 - 18:12 - MaD
Transform > ProgramSynthesis
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback