Please use this identifier to cite or link to this item: http://scholarbank.nus.edu.sg/handle/10635/40472
Title: Exception analysis for non-strict languages
Authors: Glynn, K.
Stuckey, P.J.
Sulzmann, M. 
Søndergaard, H.
Keywords: Boolean constraints
Effect systems
Exceptions
Non-strict functional programming languages
Type inference
Issue Date: 2002
Source: Glynn, K.,Stuckey, P.J.,Sulzmann, M.,Søndergaard, H. (2002). Exception analysis for non-strict languages. Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP : 98-109. ScholarBank@NUS Repository.
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.
Source Title: Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP
URI: http://scholarbank.nus.edu.sg/handle/10635/40472
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

Page view(s)

44
checked on Dec 9, 2017

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.