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 License9 July 2004
This is an unofficial reimagining of the Archive of Formal Proofs
Compiling-Exceptions-Correctly-AFP
@article{Compiling-Exceptions-Correctly-AFP,
author = {Tobias Nipkow},
title = {Compiling Exceptions Correctly},
journal = {Archive of Formal Proofs},
month = July,
year = 2004,
note = {\url{http://isa-afp.org/entries/Compiling-Exceptions-Correctly.html},
Formal proof development},
ISSN = {2150-914x},
} DownloadOlder releases: