Type-based analysis of uncaught exceptions - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 1999

Type-based analysis of uncaught exceptions

Abstract

This paper presents a program analysis to estimate un-caught 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.
Fichier principal
Vignette du fichier
exceptions-popl.pdf (238.56 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01499959 , version 1 (01-04-2017)

Identifiers

Cite

François Pessaux, Xavier Leroy. Type-based analysis of uncaught exceptions. POPL 1999: 26th symposium Principles of Programming Languages, ACM, Jan 1999, San Antonio, United States. pp.276 - 290, ⟨10.1145/292540.292565⟩. ⟨hal-01499959⟩

Collections

INRIA INRIA2
83 View
144 Download

Altmetric

Share

Gmail Facebook X LinkedIn More