Compiling Exceptions Correctly

Tobias Nipkow 🌐

July 9, 2004

This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.

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

Cite

× 
@article{Compiling-Exceptions-Correctly-AFP,
  author  = {Tobias Nipkow},
  title   = {Compiling Exceptions Correctly},
  journal = {Archive of Formal Proofs},
  month   = {July},
  year    = {2004},
  note    = {\url{https://isa-afp.org/entries/Compiling-Exceptions-Correctly.html},
             Formal proof development},
  ISSN    = {2150-914x},
}
Download

Download

× Download latest

Older releases: