Modular Transformation of Java Exceptions Modulo Errors.

Robert Rubbens, Sophie Lathouwers, Marieke Huisman

Browse the full FMICS paper archive.