|symbolic interpretation firstname.lastname@example.org (Lorenzo Bettini) (2001-01-11)|
|Re: symbolic interpretation email@example.com.OZ.AU (2001-01-18)|
|Re: symbolic interpretation firstname.lastname@example.org (Ira D. Baxter) (2001-01-18)|
|Re: symbolic interpretation email@example.com (Steven Carroll) (2001-01-18)|
|Re: symbolic interpretation firstname.lastname@example.org (Basile STARYNKEVITCH) (2001-01-19)|
|Re: symbolic interpretation email@example.com.OZ.AU (2001-01-26)|
|From:||Steven Carroll <firstname.lastname@example.org>|
|Date:||18 Jan 2001 01:12:26 -0500|
|Organization:||University of Illinois at Urbana-Champaign|
|Posted-Date:||18 Jan 2001 01:12:26 EST|
here are some bibliography entries taken from some of our groups
papers on Symbolic Analysis that should get you started:
Mohammad R. Haghighat. Sybolic Analysis for Parallaleizing Compilers.
Kluwer Academic Publishers, 1995.
Cousot and Cousot. Abstract interpretation: A unified lattice model for
static analysis of programs by construction or approximation of
(POPL) January 1977.
Paul Havlak, Interprocedural Symbolic Analysis. PhD These, Rice
University, May 1994. Also CRPC Tech REport CRPC-TR94451-S
Nicholas Stavrakos, Steven Carroll, Hideki Saito, Constantine
Polychronopoulos, and Alex Nicolau, Symbolic Analysis in the PROMIS
Compiler. LCPC99 and CSRD Tech Report 1564.
William J Blume, Symbolic Analysis Techniques for Effective Automatic
Parallelization, PhD Thesis. UIUC 1995. CSRD Tech Report 1433
Soon, we'll be releasing the PROMIS Compiler which has a very strong
Symbolic Interpreter as a core component. We can notify you when it
is released if you'd like.
Lorenzo Bettini wrote:
> Do you have any pointer and/or reference to symbolic interpretation in
> compiler writing, please? I would need a specific one, not just a
> generic one.
Return to the
Search the comp.compilers archives again.