[bitc-dev] Abstract Interpretation primer

[Dominique Quatravaux]

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:

http://kilimandjaro.dyndns.org/docs/ai-review.pdf

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>