Type-Based Analysis of Uncaught Exceptions (1998)
Cached
Download Links
- [para.inria.fr]
- [pauillac.inria.fr]
- [pauillac.inria.fr]
- [gallium.inria.fr]
- [pauillac.inria.fr]
- DBLP
Other Repositories/Bibliography
by
Xavier Leroy
,
François Pessaux
| Citations: | 57 - 1 self |
BibTeX
@MISC{Leroy98type-basedanalysis,
author = {Xavier Leroy and François Pessaux},
title = {Type-Based Analysis of Uncaught Exceptions},
year = {1998}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This paper presents a program analysis to estimate uncaught exceptions in ML programs. This analysis relies on unification-based type inference in a non-standard type system, using rows to approximate both the flow of escaping exceptions (a la effect systems) and the flow of result values (a la control-flow analyses). The resulting analysis is efficient and precise; in particular, arguments carried by exceptions are accurately handled.
