Re: Abstract Interpretation

kym@bingvaxu.cc.binghamton.edu (R. Kym Horsell)
Fri, 8 Feb 1991 18:14:24 GMT

          From comp.compilers
Related articles
Abstract Interpretation lim3@uiuc.edu (Sungsoo Lim) (2001-01-20)
Abstract Interpretation wsindd@info.win.tue.nl (1991-02-06)
Abstract Interpretation ludemann@mlpvm1.iinus1.ibm.com (Peter Ludemann) (1991-02-08)
Re: Abstract Interpretation kym@bingvaxu.cc.binghamton.edu (1991-02-08)
| List of all articles for this month |
Newsgroups: comp.compilers
From: kym@bingvaxu.cc.binghamton.edu (R. Kym Horsell)
Keywords: parallel, prolog
Organization: State University of New York at Binghamton
References: <1991Feb08.160734.2463@iecc.cambridge.ma.us>
Date: Fri, 8 Feb 1991 18:14:24 GMT

In article <1991Feb08.160734.2463@iecc.cambridge.ma.us> Peter Ludemann <ludemann@mlpvm1.iinus1.ibm.com> writes:
>wsindd@info.win.tue.nl (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).


-kym
--

Post a followup to this message

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