The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.04 - July (1979 vol.5)
pp: 402-417
T.E. Cheatham , Center for Research in Computing Technology, Harvard University
ABSTRACT
Symbolic evaluation is a form of static program analysis in which symbolic expressions are used to denote the values of program variables and computations. It does not require the user to specify which path at a conditional branch to follow nor how many cycles of a loop to consider. Instead, a symbolic evaluator uses conditional expressions to represent the uncertainty that arises from branching and develops and attempts to solve recurrence relations that describe the behavior of loop variables.
INDEX TERMS
symbolic evaluation, Automatic program analysis, expression simplification, first-order recurrence relations, program optimization, program verification
CITATION
T.E. Cheatham, G.H. Holloway, J.A. Townley, "Symbolic Evaluation and the Analysis of Programs", IEEE Transactions on Software Engineering, vol.5, no. 4, pp. 402-417, July 1979, doi:10.1109/TSE.1979.234207
23 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool