Compiling Exceptions Correctly
Exceptions are an important feature of modern programming languages, but their compilation has traditionally been viewed as an advanced topic. In this article we show that the basic method of compiling exceptions using stack unwinding can be explained and verified both simply and precisely, using e...
| Main Authors: | , |
|---|---|
| Format: | Conference or Workshop Item |
| Published: |
Springer Lecture Notes in Computer Science
2004
|
| Online Access: | https://eprints.nottingham.ac.uk/228/ |
| _version_ | 1848790374934380544 |
|---|---|
| author | Hutton, Graham Wright, Joel |
| author_facet | Hutton, Graham Wright, Joel |
| author_sort | Hutton, Graham |
| building | Nottingham Research Data Repository |
| collection | Online Access |
| description | Exceptions are an important feature of modern programming languages, but their compilation has traditionally been viewed as an advanced topic. In this article we show that the basic method of compiling exceptions using stack unwinding can be explained and verified both simply and precisely, using elementary functional programming techniques. In particular, we develop a compiler for a small language with exceptions, together with a proof of its correctness. |
| first_indexed | 2025-11-14T18:11:36Z |
| format | Conference or Workshop Item |
| id | nottingham-228 |
| institution | University of Nottingham Malaysia Campus |
| institution_category | Local University |
| last_indexed | 2025-11-14T18:11:36Z |
| publishDate | 2004 |
| publisher | Springer Lecture Notes in Computer Science |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | nottingham-2282020-05-04T20:31:33Z https://eprints.nottingham.ac.uk/228/ Compiling Exceptions Correctly Hutton, Graham Wright, Joel Exceptions are an important feature of modern programming languages, but their compilation has traditionally been viewed as an advanced topic. In this article we show that the basic method of compiling exceptions using stack unwinding can be explained and verified both simply and precisely, using elementary functional programming techniques. In particular, we develop a compiler for a small language with exceptions, together with a proof of its correctness. Springer Lecture Notes in Computer Science 2004 Conference or Workshop Item PeerReviewed Hutton, Graham and Wright, Joel (2004) Compiling Exceptions Correctly. In: Proceedings of the 7th International Conference on Mathematics of Program Construction, July 2004, Stirling, Scotland. |
| spellingShingle | Hutton, Graham Wright, Joel Compiling Exceptions Correctly |
| title | Compiling Exceptions Correctly |
| title_full | Compiling Exceptions Correctly |
| title_fullStr | Compiling Exceptions Correctly |
| title_full_unstemmed | Compiling Exceptions Correctly |
| title_short | Compiling Exceptions Correctly |
| title_sort | compiling exceptions correctly |
| url | https://eprints.nottingham.ac.uk/228/ |