Issue No.04 - July (1979 vol.5)
T.E. Cheatham , Center for Research in Computing Technology, Harvard University
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.
symbolic evaluation, Automatic program analysis, expression simplification, first-order recurrence relations, program optimization, program verification
G.H. Holloway, T.E. Cheatham, "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