Path: utzoo!censor!geac!torsqnt!news-server.csri.toronto.edu!cs.utexas.edu!titan!steve
From: steve@titan.tsd.arlut.utexas.edu (Steve Glicker)
Newsgroups: comp.theory
Subject: Symbolic evaluation methods
Message-ID: <STEVE.90Nov27121531@xorn.titan.tsd.arlut.utexas.edu>
Date: 27 Nov 90 18:15:31 GMT
Sender: news@titan.tsd.arlut.utexas.edu
Distribution: comp.theory
Organization: Applied Research Labs, The University of Texas at Austin
Lines: 16


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)