Symbolic debugging of optimized code (1982)

by J Hennessy
Venue:ACM Transactions on Programming Languages and Systems (TOPLAS