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
相关论文
共 28 条
  • [1] BERRY DM, 1980, J COMPUT LANG, V5, P77
  • [2] COCCO N, 1982, J COMPUT LANG, V7, P89
  • [3] CRISTIAN F, 1982, ACTA INFORM, V17, P365, DOI 10.1007/BF00264158
  • [4] CRISTIAN F, 1983, 13TH P INT S FAULT T
  • [5] CRISTIAN F, 1984, IEEE T SOFTW ENG, V10
  • [6] DENNIS JB, 1973, ADV COURSE SOFTWARE
  • [7] GOODENOUGH JB, 1975, COMMUN ACM, V18
  • [8] ICHBIAH J, 1979, ACM SIGPLAN NOT, V14
  • [9] JOHNSTON JB, 1971, ACM SIGPLAN NOT, V6
  • [10] Levin R, 1977, THESIS CARNEGIE MELL
123