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.
Type de document :
Communication dans un congrès
POPL 1999: 26th symposium Principles of Programming Languages, Jan 1999, San Antonio, United States. ACM, pp.276 - 290, 1999, 〈10.1145/292540.292565〉
Liste complète des métadonnées

Littérature citée [37 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01499959
Contributeur : Xavier Leroy <>
Soumis le : samedi 1 avril 2017 - 18:48:36
Dernière modification le : mardi 17 avril 2018 - 11:28:54
Document(s) archivé(s) le : dimanche 2 juillet 2017 - 12:58:33

Fichier

exceptions-popl.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

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

Partager

Métriques

Consultations de la notice

167

Téléchargements de fichiers

26