Detecting and Escaping Infinite Loops with Jolt.

Michael Carbin, Sasa Misailovic, Michael Kling, Martin C. Rinard

Browse the full ECOOP paper archive.