literature about Abstract Interpretation?

marjan.mernik@uni-mb.si
Wed, 5 Apr 1995 11:38:43 GMT

          From comp.compilers
Related articles
literature about Abstract Interpretation? marjan.mernik@uni-mb.si (1995-04-05)
Re: literature about Abstract Interpretation? afsal@GENIUS.TISL.SOFT.NET (Afsal C. Majeed) (1995-04-18)
| List of all articles for this month |
Newsgroups: comp.compilers
From: marjan.mernik@uni-mb.si
Keywords: analysis, question
Organization: Compilers Central
Date: Wed, 5 Apr 1995 11:38:43 GMT

Hello !


I'd like to know more about abstract interpretation and static program
analysis, so I'm looking for good books, papers on them.


Thanks in advance


Marjan Mernik
marjan.mernik@uni-mb.si
University of Maribor
Faculty of Electrical Engineering and Computer Science
--

Post a followup to this message

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