Stem uncaught$ (all stems)
3 papers:
- POPL-1999-PessauxL #analysis #exception #type system
- Type-Based Analysis of Uncaught Exceptions (FP, XL), pp. 276–290.
- SAS-1997-YiR #effectiveness #estimation #exception #source code #towards
- Towards a Cost-Effective Estimation of Uncaught Exceptions in SML Programs (KY, SR), pp. 98–113.
- SAS-1994-Yi #detection #exception #ml #source code #standard
- Compile-time Detection of Uncaught Exceptions in Standard ML Programs (KY), pp. 238–254.