Symbolic evaluation of programs: a look at loop analysis.

Thomas E. Cheatham Jr., Judy A. Townley

Browse the full ISSAC paper archive.