## Transforming Code

From: "andrew cooke" <andrew@...>

Date: Mon, 9 Feb 2004 18:48:35 -0300 (CLST)

An interesting paper on program transformations - a general framework in
which different programming languages, update languages, and properties
can be studied -
http://web.engr.oregonstate.edu/~erwig/papers/abstracts.html#ASE01

Darcs is intended to be an advanced'' revision control system. Darcs has
two particularly distinctive features which differ from other revision
control systems: 1) each copy of the source is a fully functional branch,
and 2) underlying darcs is a consistent and powerful theory of patches -
http://www.abridgegame.org/darcs/

From a discussion at Lambda - more links including papers on finding
patters in code etc -