Type-based analysis of uncaught exceptions - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 1999

Type-based analysis of uncaught exceptions

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

Citer

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 Consultations
145 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More