Continuation equivalence: a correctness criterion for static optimizations of dynamic analyses.

Eric Bodden

Browse the full ISSTA paper archive.