Abstract interpretation applications

Hugues CASSE <casse@irit.fr>
27 Feb 1997 00:52:24 -0500

          From comp.compilers
Related articles
Abstract interpretation applications casse@irit.fr (Hugues CASSE) (1997-02-27)
| List of all articles for this month |
From: Hugues CASSE <casse@irit.fr>
Newsgroups: comp.compilers
Date: 27 Feb 1997 00:52:24 -0500
Organization: I.R.I.T.
Keywords: C, optimize, question

Hi,


    I want to use abstract interpretation to some optimization on
C programs. I'm looking for some applications or environment which
could make easier implementation of abstract interpretation items
like fix-point determination and so on.


Many thanks for your help.


--=20
--------------------------
CASSE Hugues
IRIT, 1R1, p19
MAILTO: casse@irit.fr
PHONE: 61-55-66-11
              (poste 73-20)
--

Post a followup to this message

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