User menu

Accès à distance ? S'identifier sur le proxy UCLouvain

Exception analysis for non-strict languages

Primary tabs

Glynn, K Stuckey, PJ Sulzmann, M Sondergaard, H

In this paper we present the first exception analysis for a non-strict language. We augment a simply-typed functional language with exceptions, and show that we can define a type-based inference system to detect uncaught exceptions. We have implemented this exception analysis in the GHC compiler for Haskell, which has been recently extended with exceptions. We give empirical evidence that the analysis is practical.

Document type Communication à un colloque (Conference Paper) – Présentation orale avec comité de sélection
Publication date 2002
Language Anglais
Conference "7th International Conference on Functional Programming", PITTSBURGH(Pennsylvania) (Oct 04-06, 2002)
Journal information "SIGPLAN Notices" - Vol. 37, no. 9, p. 98-109 (2002)
Peer reviewed yes
issn 0362-1340
Publisher Assoc Computing Machinery (New York)
Affiliation UCL - Autre
Keywords Languages ; Theory ; Exceptions ; Non-strict Functional Programming Languages ; Type Inference ; Effect Systems ; Boolean Constraints
Links
Bibliographic reference Glynn, K ; Stuckey, PJ ; Sulzmann, M ; Sondergaard, H. Exception analysis for non-strict languages.7th International Conference on Functional Programming (PITTSBURGH(Pennsylvania), Oct 04-06, 2002). In: SIGPLAN Notices, Vol. 37, no. 9, p. 98-109 (2002)
Permanent URL http://hdl.handle.net/2078.1/61700