steve@titan.tsd.arlut.utexas.edu (Steve Glicker) (11/28/90)
I am looking for literature on symbolic evalution methods for program
analysis. I have
"PROGRAM FLOW ANALYSIS: Theory and Applications," edited by
Steven S. Muchnick and Neil D. Jones, 1981
but, I'm very interested in more recent material. References to
literature which is application-oriented would be most helpful,
but any applicable references would be appreciated. Please email
responses directly to me.
--
Steve Glicker
Applied Research Laboratories
The University of Texas at Austin
(steve@titan.tsd.arlut.utexas.edu)
--
Send compilers articles to compilers@iecc.cambridge.ma.us or
{ima | spdcc | world}!iecc!compilers. Meta-mail to compilers-request.