Type-based analysis of uncaught exceptions

Xavier Leroy; François Pessaux

doi:10.1145/349214.349230

Type-based analysis of uncaught exceptions

Xavier Leroy
, François Pessaux

INRIA Rocquencourt
Stevens Institute of Technology

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

Résumé

This article presents a program analysis to estimate uncaught exceptions in ML programs. This analysis relies on unification-based type inference in a nonstandard 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 - à)	340-377
Nombre de pages	38
journal	ACM Transactions on Programming Languages and Systems
Volume	22
Numéro de publication	2
Les DOIs	https://doi.org/10.1145/349214.349230
état	Publié - 1 janv. 2000
Modification externe	Oui

Accès au document

10.1145/349214.349230

Contient cette citation

@article{ad5c68b3fcdf492891762a808460b45c,

title = "Type-based analysis of uncaught exceptions",

abstract = "This article presents a program analysis to estimate uncaught exceptions in ML programs. This analysis relies on unification-based type inference in a nonstandard 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.",

keywords = "D.2.5 [Software Engineering]: Testing and Debugging - Error handling and recovery, D.3.2 [Programming Languages]: Language Classifications - Applicative (functional) languages, F.3.2 [Logics and Meanings of Programs], ML, Symbolic execution",

author = "Xavier Leroy and Fran{\c c}ois Pessaux",

year = "2000",

month = jan,

day = "1",

doi = "10.1145/349214.349230",

language = "English",

volume = "22",

pages = "340--377",

journal = "ACM Transactions on Programming Languages and Systems",

issn = "0164-0925",

number = "2",

}

TY - JOUR

T1 - Type-based analysis of uncaught exceptions

AU - Leroy, Xavier

AU - Pessaux, François

PY - 2000/1/1

Y1 - 2000/1/1

N2 - This article presents a program analysis to estimate uncaught exceptions in ML programs. This analysis relies on unification-based type inference in a nonstandard 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 article presents a program analysis to estimate uncaught exceptions in ML programs. This analysis relies on unification-based type inference in a nonstandard 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.

KW - D.2.5 [Software Engineering]: Testing and Debugging - Error handling and recovery

KW - D.3.2 [Programming Languages]: Language Classifications - Applicative (functional) languages

KW - F.3.2 [Logics and Meanings of Programs]

KW - ML

KW - Symbolic execution

U2 - 10.1145/349214.349230

DO - 10.1145/349214.349230

M3 - Article

AN - SCOPUS:0038037654

SN - 0164-0925

VL - 22

SP - 340

EP - 377

JO - ACM Transactions on Programming Languages and Systems

JF - ACM Transactions on Programming Languages and Systems

IS - 2

ER -

Type-based analysis of uncaught exceptions

Résumé

Accès au document

Empreinte digitale

Contient cette citation