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.
BSD License

Topics

Theories of Compiling-Exceptions-Correctly