Relational queries over program traces.

Simon Goldsmith, Robert O'Callahan, Alex Aiken

Browse the full OOPSLA paper archive.