Compiling Exceptions Correctly

Tobias Nipkow 🌐

July 9, 2004

Abstract

An exception compilation scheme that dynamically creates and removes exception handler entries on the stack. A formalization of an article of the same name by Hutton and Wright.

License

BSD License

Topics

Related publications

Session Compiling-Exceptions-Correctly