Symbolic evaluation methods (Steve Glicker)
27 Nov 90 19:54:22 GMT

          From comp.compilers

Related articles
Symbolic evaluation methods (1990-11-27)
| List of all articles for this month |

Newsgroups: comp.compilers
From: (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

Post a followup to this message

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