Re: Generic Static Analyzer or Abstract interpreter

"gopi" <gopi@sankhya.com>
30 Jan 2005 13:42:19 -0500

          From comp.compilers
Related articles
Generic Static Analyzer or Abstract interpreter neal.wang@gmail.com (Neal Wang) (2005-01-25)
Re: Generic Static Analyzer or Abstract interpreter gopi@sankhya.com (gopi) (2005-01-30)
Re: Generic Static Analyzer or Abstract interpreter liekweg@ipd.info.uni-karlsruhe.de (F. Liekweg) (2005-01-30)
Re: Generic Static Analyzer or Abstract interpreter neal.wang@gmail.com (Neal Wang) (2005-02-03)
| List of all articles for this month |
From: "gopi" <gopi@sankhya.com>
Newsgroups: comp.compilers
Date: 30 Jan 2005 13:42:19 -0500
Organization: http://groups.google.com
References: 05-01-094
Keywords: optimize
Posted-Date: 30 Jan 2005 13:42:19 EST

Neal Wang wrote:

> Can anyone point out a generic static analyzer or abstract
interpreter if
> they have ever existed. Have anyone tried to implement such systems?

I don't completely understand the question. We are working at Sankhya
on a "generic simulator", "generic assembler" and "generic code
generator". Here is more information on this work:
http://www.sankhya.com/info/products/tools/dttf.html

Thanks,
gopi

Post a followup to this message

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