A Formalisation of Java's Exception Mechanism
Abstract elided by the publisher.
Related papers
- Type Dispatch for Named Hierarchical Types ICFP 1999
- Making the java memory model safe TOPLAS 2013
- A Core Calculus for Java Exceptions OOPSLA 2001
- Practicing JUDO: Java under dynamic optimizations PLDI 2000
- Java and the Java Memory Model - A Unified, Machine-Checked Formalisation ESOP 2012
- Generic ownership for generic Java OOPSLA 2006
- Formalising lie algebras CPP 2022
- Exceptions all Over the Shop: Modular, Customizable, Language-Independent Exception Handling Layer SLE 2023