Abstract Interpretation Resources
Mon, 14 Jun 1999 13:12:16 -1000
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
This one references a few good bibliographies on the subject:
A canonical bib, but it doesn't provide access to the papers:
A short paper on Supercompilation, a related topic:
Kansas State University's CS department has a page with research papers
They're not fantastic, but workable.
I have a copy of the original abstract interpretation paper, but can't find
the original location.