Compiling exceptions correctly

被引：0
|
作者：
Hutton, G [1 ]
Wright, J [1 ]
机构：
[1] Univ Nottingham, Sch Comp Sci & IT, Nottingham NG7 2RD, England
来源：
MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS | 2004年 / 3125卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
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.
引用
收藏
页码：211 / 227
页数：17
相关论文
共 50 条
  • [21] Security Exceptions
    Shelbaya, Mohamed
    ICSID REVIEW-FOREIGN INVESTMENT LAW JOURNAL, 2024,
  • [22] The hearsay exceptions
    Ormerod, DC
    CRIMINAL LAW REVIEW, 1996, : 16 - 28
  • [23] SGML and exceptions
    Kilpeläinen, P
    Wood, D
    PRINCIPLES OF DOCUMENT PROCESSING, 1997, 1293 : 39 - 49
  • [24] Symbiotic exceptions
    Sheilagh Molloy
    Nature Reviews Microbiology, 2007, 5 : 473 - 473
  • [25] On the logic of exceptions
    Mengin, J
    ECAI 1998: 13TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 1998, : 23 - 27
  • [26] Issues in compiling
    Goos, G
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2001, 7 (05): : 410 - 419
  • [27] Raising exceptions
    Gajewski, J
    WCCFL 23: Proceedings of the 23rd West Coast Conference on Formal Linguistics, 2004, : 209 - 222
  • [28] Exploiting exceptions
    Zastre, M
    Horspool, RN
    SOFTWARE-PRACTICE & EXPERIENCE, 2001, 31 (12): : 1109 - 1123
  • [29] 'POEM OF EXCEPTIONS'
    DITTA, JM
    MODERN POETRY STUDIES, 1982, 11 (1-2): : 86 - 88
  • [30] A treasury of exceptions
    不详
    NATURE GENETICS, 2004, 36 (12) : 1239 - 1239
12345