ProgramRefinement
is a special case of
ProgramSynthesis
in which an (efficient) implementation is derived from a high-level specification such that the implementation satisfies the specification.
CategoryTransformation
| --
EelcoVisser
- 03 May 2001
Revision: r1.1 - 03 May 2001 - 18:37 -
EelcoVisser
Transform
>
ProgramRefinement
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