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 elementary functional programming techniques. In particular, we develop a compiler for a small language with exceptions, together with a proof of its correctness. © Springer-Verlag 2004.
CITATION STYLE
Hutton, G., & Wright, J. (2004). Compiling exceptions correctly. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3125, 211–227. https://doi.org/10.1007/978-3-540-27764-4_12
Mendeley helps you to discover research relevant for your work.