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 条
  • [1] Compiling with Continuations, Correctly
    Paraskevopoulou, Zoe
    Grover, Anvay
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2021, 5 (OOPSLA):
  • [2] Is compiling for performance == compiling for power?
    Valluri, M
    John, LK
    INTERACTION BETWEEN COMPILERS AND COMPUTER ARCHITECTURES, 2001, 613 : 101 - 115
  • [3] The Exceptions
    Simms, Chris
    NEW SCIENTIST, 2023, 246 (3434) : 35 - 35
  • [4] Folklore Confirmed: Compiling for Speed = Compiling for Energy
    Yuki, Tomofumi
    Rajopadhye, Sanjay
    LANGUAGES AND COMPILERS FOR PARALLEL COMPUTING, LCPC 2013, 2014, 8664 : 169 - 184
  • [5] EXCEPTIONS
    SCHAUER, F
    UNIVERSITY OF CHICAGO LAW REVIEW, 1991, 58 (03): : 871 - 899
  • [6] Exceptions
    不详
    EXPLOITATION OF FINE-GRAIN PARALLELISM, 1995, 942 : 156 - 157
  • [7] NO EXCEPTIONS
    ATKINSON, JE
    ELECTRONICS, 1967, 40 (23): : 4 - &
  • [8] 'EXCEPTIONS'
    BASS, R
    ARTNEWS, 1983, 82 (04): : 154 - 155
  • [9] No exceptions
    Taylor, I
    NEW SCIENTIST, 1996, 149 (2017) : 48 - 49
  • [10] Treating Blood Pressure Correctly by Measuring It Correctly
    Baron, Robert B.
    JAMA INTERNAL MEDICINE, 2018, 178 (06) : 860 - +
12345