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/ |