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
-- EelcoVisser - 01 Apr 2002