Exception analysis for non-strict languages
Glynn, K. Stuckey, P.J. Sulzmann, M. Søndergaard, H.
Glynn, K.
Stuckey, P.J.
Søndergaard, H.
Citations
Altmetric:
Alternative Title
Abstract
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.
Keywords
Boolean constraints, Effect systems, Exceptions, Non-strict functional programming languages, Type inference
Source Title
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP
Publisher
Series/Report No.
Collections
Rights
Date
2002
DOI
Type
Conference Paper