Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!usc!snorkelwacker.mit.edu!hsdndev!spdcc!iecc!compilers-sender From: steve@titan.tsd.arlut.utexas.edu (Steve Glicker) Newsgroups: comp.compilers Subject: Symbolic evaluation methods Keywords: interpreter, analysis, optimize Message-ID: Date: 27 Nov 90 19:54:22 GMT Sender: compilers-sender@iecc.cambridge.ma.us Reply-To: steve@titan.tsd.arlut.utexas.edu (Steve Glicker) Organization: Applied Research Labs, The University of Texas at Austin Lines: 18 Approved: compilers@iecc.cambridge.ma.us 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.