| HAL-Inria | Publications, software ... of Inria's scientists |
Journal articles
Type-based analysis of uncaught exceptions
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 xceptions (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.
https://hal.inria.fr/hal-01499948
Contributor : Xavier Leroy Connect in order to contact the contributor
Submitted on : Saturday, April 1, 2017 - 5:51:24 PM
Last modification on : Friday, January 21, 2022 - 3:17:51 AM
Long-term archiving on: : Sunday, July 2, 2017 - 12:45:04 PM
Contributor : Xavier Leroy Connect in order to contact the contributor
Submitted on : Saturday, April 1, 2017 - 5:51:24 PM
Last modification on : Friday, January 21, 2022 - 3:17:51 AM
Long-term archiving on: : Sunday, July 2, 2017 - 12:45:04 PM
File
exceptions-toplas.pdf
Files produced by the author(s)