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
Revision: r1.2 - 01 Apr 2002 - 08:56 -
EelcoVisser
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