Abstract Interpretation

Peter Ludemann <ludemann@mlpvm1.iinus1.ibm.com>
Fri, 08 Feb 91 16:07:34 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.compilers
From: Peter Ludemann <ludemann@mlpvm1.iinus1.ibm.com>
Keywords: parallel, prolog
Organization: Compilers Central
Date: Fri, 08 Feb 91 16:07:34 GMT

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.


--

Post a followup to this message

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