Abstract Interpretation Resources

[Brian Rice]

Sorry, no real review just yet.  I'm not sure that I get the whole picture
with this idea.  Here are some useful pointers on Abstract Interpretation to
tide us over:

This page seems to be the most comprehensive list of links, though some are
dead:
http://dept-info.labri.u-bordeaux.fr/~corsini/people.html

    This one references a few good bibliographies on the subject:
    http://dept-info.labri.u-bordeaux.fr/~corsini/biblio.html

    A canonical bib, but it doesn't provide access to the papers:

http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/c/Cousot:Patrick.h
tml

A short paper on Supercompilation, a related topic:
http://inet.keldysh.ru/dpt_16/klimov/ScpJ/HistoryAndRelatedWork.htm

Kansas State University's CS department has a page with research papers
available:
http://www.cis.ksu.edu/~schmidt/group.survey.html

They're not fantastic, but workable.

I have a copy of the original abstract interpretation paper, but can't find
the original location.