[bitc-dev] Abstract Interpretation primer
dom at kilimandjaro.dyndns.org
Wed Aug 3 04:25:29 EDT 2005
Mark Miller wrote:
> That page links to <http://www.di.ens.fr/~cousot/ai-review.ps.gz>. The
> postscript there doesn't open with ghostscript. (I can send you the
> errors if you'd like.) Do you have a pdf of this document you could
> make available?
Funny, I have no problem reading it (I'm using ESP Ghostscript version
7.07.1 and gv 3.5.8, both from debian). Anyway I have uploaded a PDF here:
Note: it suffers from the infamous TeX-bitmapped-fonts ugliness when
viewed on-screen, so you'll probably want to print it before reading.
And even then, P. Cousot's prose is not known for being easy to grok -
No offence intended, he routinely admits as much to his students who use
the "micro-Cousal" (mock singular form of "Cousot" in French) as the
metric unit for measuring the obfuscation level of scientific papers :-).
<< Tout n'y est pas parfait, mais on y honore certainement les jardiniers >>
Dominique Quatravaux <dom at kilimandjaro.dyndns.org>
More information about the bitc-dev