Failboxes: Provably Safe Exception Handling.

Bart Jacobs, Frank Piessens

Browse the full ECOOP paper archive.