Home

Surveys
Transformation
Reengineering
DSL
Domain Engineering
Decompilation
Generative Progr.

Collections
Categories
Systems
Conferences
People
Companies
Papers

Page

Web

Wiki

Rewriting Calculus

Program-Transformation.Org: The Program Transformation Wiki
The Rewriting Calculus provides a combination of functional programming and term rewriting.