Please use this identifier to cite or link to this item:
https://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 | Citation: | 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.
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.