A Static Study of Java Exceptions Using JESP
No abstract available.
DOI 10.1007/3-540-46423-9_5
Related papers
- Exception Handling: A Field Study in Java and .NET ECOOP 2007
- A Study of Exception Handling and Its Dynamic Optimization in Java OOPSLA 2001
- A Core Calculus for Java Exceptions OOPSLA 2001
- JET: exception checking in the Java native interface OOPSLA 2011
- Practicing JUDO: Java under dynamic optimizations PLDI 2000
- A study of Java's non-Java memory OOPSLA 2010
- jGuard: Programming Misuse-Resilient APIs SLE 2022
- A Formalisation of Java's Exception Mechanism ESOP 2001