Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uunet!world!iecc!compilers-sender
From: kym@bingvaxu.cc.binghamton.edu (R. Kym Horsell)
Newsgroups: comp.compilers
Subject: Re: Abstract Interpretation
Keywords: parallel, prolog
Message-ID: <1991Feb8.181424.26394@bingvaxu.cc.binghamton.edu>
Date: 8 Feb 91 18:14:24 GMT
References: <1991Feb08.160734.2463@iecc.cambridge.ma.us>
Sender: compilers-sender@iecc.cambridge.ma.us
Reply-To: kym@bingvaxu.cc.binghamton.edu (R. Kym Horsell)
Organization: State University of New York at Binghamton
Lines: 12
Approved: compilers@iecc.cambridge.ma.us

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
-- 
Send compilers articles to compilers@iecc.cambridge.ma.us or
{ima | spdcc | world}!iecc!compilers.  Meta-mail to compilers-request.