Xref: utzoo comp.theory:1504 comp.compilers:1689
Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!sun-barr!olivea!mintaka!spdcc!iecc!compilers-sender
From: wsindd@info.win.tue.nl (d.dams)
Newsgroups: comp.theory,comp.compilers
Subject: Abstract Interpretation
Summary: I'm looking for literature/conferences/workshops
Keywords: question, theory
Message-ID: <1726@svin02.info.win.tue.nl>
Date: 6 Feb 91 14:50:25 GMT
Sender: compilers-sender@iecc.cambridge.ma.us
Reply-To: wsindd@info.win.tue.nl (d.dams)
Followup-To: comp.theory
Organization: Eindhoven University of Technology, The Netherlands
Lines: 13
Approved: compilers@iecc.cambridge.ma.us

Can somebody help me get an updated

               bibliography on Abstract Interpretation?

Furthermore I'm interested to know if there are any conferences or
workshops which (partly) concentrate on abstract interpretation. I'm
particularly interested in abstract interpretation of
distributed/real-time systems.

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