[bitc-dev] Abstract Interpretation primer
Jonathan S. Shapiro
shap at eros-os.org
Tue Aug 2 10:48:06 EDT 2005
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
More information about the bitc-dev