Symbolic evaluation methods

steve@titan.tsd.arlut.utexas.edu (Steve Glicker)
27 Nov 90 19:54:22 GMT

          From comp.compilers
Related articles
Symbolic evaluation methods steve@titan.tsd.arlut.utexas.edu (1990-11-27)
| List of all articles for this month |
Newsgroups: comp.compilers
From: steve@titan.tsd.arlut.utexas.edu (Steve Glicker)
Keywords: interpreter, analysis, optimize
Organization: Applied Research Labs, The University of Texas at Austin
Date: 27 Nov 90 19:54:22 GMT

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)
--

Post a followup to this message

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