Type-based analysis of uncaught exceptions - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles ACM Transactions on Programming Languages and Systems (TOPLAS) Year : 2000

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.
Fichier principal
Vignette du fichier
exceptions-toplas.pdf (397.72 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

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

Identifiers

Cite

Xavier Leroy, François Pessaux. Type-based analysis of uncaught exceptions. ACM Transactions on Programming Languages and Systems (TOPLAS), 2000, 22 (2), pp.340-377. ⟨10.1145/349214.349230⟩. ⟨hal-01499948⟩

Collections

INRIA INRIA2
97 View
80 Download

Altmetric

Share

Gmail Facebook X LinkedIn More