Program Calculation

Program-Transformation.Org: The Program Transformation Wiki
A methodology for deriving implementations from specifications. See also program synthesis, program refinement, Bird Meertens Formalism.

-- EelcoVisser - 01 Apr 2002