Re: Abstract Interpretation (R. Kym Horsell)
Fri, 8 Feb 1991 18:14:24 GMT

          From comp.compilers

Related articles
Abstract Interpretation (Sungsoo Lim) (2001-01-20)
Abstract Interpretation (1991-02-06)
Abstract Interpretation (Peter Ludemann) (1991-02-08)
Re: Abstract Interpretation (1991-02-08)
| List of all articles for this month |

Newsgroups: comp.compilers
From: (R. Kym Horsell)
Keywords: parallel, prolog
Organization: State University of New York at Binghamton
References: <>
Date: Fri, 8 Feb 1991 18:14:24 GMT

In article <> Peter Ludemann <> writes:
> (d.dams) asks:
>>Can somebody help me get an updated bibliography on Abstract Interpretation?
>I suggest asking this question on comp.lang.prolog.

Another (perhaps better) place to look are the proceedings on
the Automated Deduction conferences (Springer Verlag).


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.