A methodology for deriving implementations from specifications. See also
program synthesis
,
program refinement
,
Bird Meertens Formalism
.
--
EelcoVisser
- 01 Apr 2002
Revision: r1.1 - 01 Apr 2002 - 08:57 -
EelcoVisser
Transform
>
ProgramSynthesis
>
ProgramCalculation
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