C[omp]ute

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 -
http://lambda.weblogs.com/discuss/msgReader$11054?mode=topic

Andrew

-- 
personal web site: http://www.acooke.org
personal mail list: http://www.acooke.org/andrew/compute.html

_______________________________________________
compute mailing list
compute@...
https://200.83.153.5/cgi-bin/mailman/listinfo/compute