Towards a Cost-Effective Estimation of Uncaught Exceptions in SML Programs
Abstract elided by the publisher.
Related papers
- Type-based analysis of uncaught exceptions TOPLAS 2000
- Type-Based Analysis of Uncaught Exceptions POPL 1999
- Detection of Uncaught Exceptions in Functional Programs by Abstract Interpretation ESOP 2024
- Compile-time Detection of Uncaught Exceptions in Standard ML Programs SAS 1994
- Exception analysis for non-strict languages ICFP 2002
- Estimating Exception-Induced Control Flow for Java APLAS 2001
- JBMC: Bounded Model Checking for Java Bytecode - (Competition Contribution) TACAS 2019
- Practical initialization race detection for JavaScript web applications OOPSLA 2017