Trace-based control-flow analysis.

Benot Montagu, Thomas P. Jensen

Browse the full PLDI paper archive.