Path: utzoo!mnetor!tmsoft!torsqnt!lethe!yunexus!ists!helios.physics.utoronto.ca!news-server.csri.toronto.edu!bonnie.concordia.ca!uunet!spool.mu.edu!think.com!paperboy!hsdndev!spdcc!iecc!compilers-sender
From: ludemann@mlpvm1.iinus1.ibm.com (Peter Ludemann)
Newsgroups: comp.compilers
Subject: Abstract Interpretation
Keywords: parallel, prolog
Message-ID: <1991Feb08.160734.2463@iecc.cambridge.ma.us>
Date: 8 Feb 91 16:07:34 GMT
Sender: compilers-sender@iecc.cambridge.ma.us
Reply-To: Peter Ludemann <ludemann@mlpvm1.iinus1.ibm.com>
Organization: Compilers Central
Lines: 14
Approved: compilers@iecc.cambridge.ma.us

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.  The
proceedings of conferences on Logic Programming usually have
some papers on abstract interpretation (MIT Press).  There
have also been conferences and workshops on abstract
interpretation and the related subject, meta-programming.

-- 
Send compilers articles to compilers@iecc.cambridge.ma.us or
{ima | spdcc | world}!iecc!compilers.  Meta-mail to compilers-request.