On the interplay between the semantics of Java's finally clauses and the JML run-time checker.

Marieke Huisman

Browse the full ECOOP paper archive.