Home

Surveys
Transformation
Reengineering
DSL
Domain Engineering
Decompilation
Generative Progr.

Collections
Categories
Systems
Conferences
People
Companies
Papers

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