A MODULAR VERIFIABLE EXCEPTION-HANDLING MECHANISM

被引：35
|
作者：
YEMINI, S [1 ]
BERRY, DM [1 ]
机构：
[1] UNIV CALIF LOS ANGELES,DEPT COMP SCI,LOS ANGELES,CA 90024
来源：
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | 1985年 / 7卷 / 02期
关键词：
D O I：
10.1145/3318.3320
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：214 / 243
页数：30
相关论文
共 50 条
  • [1] TOWARD MODULAR VERIFIABLE EXCEPTION HANDLING
    BERRY, DM
    KEMMERER, RA
    VONSTAA, A
    YEMINI, S
    [J]. COMPUTER LANGUAGES, 1980, 5 (02): : 77 - 101
  • [2] AN EXCEPTION-HANDLING FRAMEWORK
    VISSER, A
    [J]. INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING, 1995, 8 (03) : 197 - 203
  • [3] Exception-handling design patterns
    Bail, WG
    [J]. ADVANCES IN COMPUTERS, VOL 49, 1999, 49 : 191 - 238
  • [4] The GEF general exception-handling library
    Bighy, BW
    [J]. DR DOBBS JOURNAL, 1998, 23 (11): : 60 - +
  • [5] Analysis of programs with exception-handling constructs
    Sinha, S
    Harrold, MJ
    [J]. INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS, 1998, : 348 - 357
  • [6] THE EXCEPTION-HANDLING FACILITIES OF PL/I
    ELDERON, PR
    ATHWAL, DS
    [J]. PROCEEDINGS : SEAS ANNIVERSARY MEETING 1989, VOLS 1 AND 2: THE CORPORATE NETWORK, 1989, : 1367 - 1383
  • [7] Verifying Exception-Handling Code in Concurrent Libraries
    Khanna, Dhriti
    Sharma, Subodh
    Purandare, Rahul
    [J]. PROCEEDINGS OF THE 2023 30TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, APSEC 2023, 2023, : 405 - 414
  • [8] BETTER EXCEPTION-HANDLING IN BLOCK-STRUCTURED SYSTEMS
    KNUDSEN, JL
    [J]. IEEE SOFTWARE, 1987, 4 (03) : 40 - 49
  • [9] Toward exception-handling best practices and patterns
    Wirfs-Brock, Rebecca J.
    [J]. IEEE SOFTWARE, 2006, 23 (05) : 11 - 13
  • [10] Mining Exception-Handling Rules as Sequence Association Rules
    Thummalapenta, Suresh
    Xie, Tao
    [J]. 2009 31ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS, 2009, : 496 - 506
12345