Interactive, scalable, declarative program analysis: from prototype to implementation.

William C. Benton, Charles N. Fischer

Browse the full PPDP paper archive.