Program Refinement

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