ProgramSynthesis 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
- SpecWare: a system for semi-automatic program synthesis