Bart Jacobs 0002 Frank Piessens Failboxes: Provably Safe Exception Handling. 470-494 2009 ECOOP http://dx.doi.org/10.1007/978-3-642-03013-0_22 conf/ecoop/2009 db/conf/ecoop/ecoop2009.html#JacobsP09