Abstract Interpretation

wsindd@info.win.tue.nl (d.dams)
6 Feb 91 14:50:25 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.theory,comp.compilers
From: wsindd@info.win.tue.nl (d.dams)
Followup-To: comp.theory
Summary: I'm looking for literature/conferences/workshops
Keywords: question, theory
Organization: Eindhoven University of Technology, The Netherlands
Date: 6 Feb 91 14:50:25 GMT

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.
--

Post a followup to this message

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