[comp.theory] Abstract Interpretation

wsindd@info.win.tue.nl (d.dams) (02/06/91)

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.