Trace-Based Program Analysis.

Christopher Colby, Peter Lee

Browse the full POPL paper archive.