Type-based analysis of uncaught exceptions

Francois Pessaux; Xavier Leroy

doi:10.1145/292540.292565

Type-based analysis of uncaught exceptions

Francois Pessaux
, Xavier Leroy

INRIA Rocquencourt

Résultats de recherche: Contribution à un journal › Article de conférence › Revue par des pairs

Résumé

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 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.

langue originale	Anglais
Pages (de - à)	276-290
Nombre de pages	15
journal	Conference Record of the Annual ACM Symposium on Principles of Programming Languages
Les DOIs	https://doi.org/10.1145/292540.292565
état	Publié - 1 janv. 1999
Modification externe	Oui
Evénement	The 1999 26th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, POPL'99 - San Antonio, TX, USA Durée: 20 janv. 1999 → 22 janv. 1999

Accès au document

10.1145/292540.292565

Autres fichiers et liens

Lien vers la publication dans Scopus

Contient cette citation

@article{df4383ea1b334c57a8a040b3873e12ba,

title = "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 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.",

author = "Francois Pessaux and Xavier Leroy",

year = "1999",

month = jan,

day = "1",

doi = "10.1145/292540.292565",

language = "English",

pages = "276--290",

journal = "Conference Record of the Annual ACM Symposium on Principles of Programming Languages",

issn = "0730-8566",

note = "The 1999 26th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, POPL'99 ; Conference date: 20-01-1999 Through 22-01-1999",

}

TY - JOUR

T1 - Type-based analysis of uncaught exceptions

AU - Pessaux, Francois

AU - Leroy, Xavier

PY - 1999/1/1

Y1 - 1999/1/1

N2 - 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 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.

AB - 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 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.

UR - https://www.scopus.com/pages/publications/0032681510

U2 - 10.1145/292540.292565

DO - 10.1145/292540.292565

M3 - Conference article

AN - SCOPUS:0032681510

SN - 0730-8566

SP - 276

EP - 290

JO - Conference Record of the Annual ACM Symposium on Principles of Programming Languages

JF - Conference Record of the Annual ACM Symposium on Principles of Programming Languages

T2 - The 1999 26th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, POPL'99

Y2 - 20 January 1999 through 22 January 1999

ER -

Type-based analysis of uncaught exceptions

Résumé

Accès au document

Autres fichiers et liens

Empreinte digitale

Contient cette citation