CVSROOT: /cvs/ppl Module name: w3ppl Changes by: hill@cs.unipr.it 2004-09-27 11:15:32

Modified files: htdocs : abstractions.raw htdocs/Documentation: ppl.bib htdocs/images : abstractions_rcongrs.gif

Log message: Completed draft descriptions of the numerical abstractions. Added to ppl.bib reference to the Mine paper on the octagon domain and to Roberto's thesis. Updated the gif version of the illustration of a relational grid to correspond to that already in abstractions.tex.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/abstractions.raw.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bib... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/images/abstractions_r...