[bitc-dev] Abstract Interpretation primer

[Jonathan S. Shapiro]

On Tue, 2005-08-02 at 09:57 -0400, 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?

I often find that the following solves the problem:

1. Download the file.
2. Rename is from .ps.gz to .ps. Use an editor to check if you like.
3. Run ghostview.

The problem is that some web servers do automatic decompression on the
*server* end.

shap