TOWARD COMPILER IMPLEMENTATION CORRECTNESS PROOFS

被引：13
作者：
CHIRICA, LM [1 ]
MARTIN, DF [1 ]
机构：
[1] UNIV CALIF LOS ANGELES, DEPT COMP SCI, LOS ANGELES, CA 90024 USA
来源：
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | 1986年 / 8卷 / 02期
关键词：
All Open Access; Bronze;
D O I：
10.1145/5397.30847
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
COMPUTER OPERATING SYSTEMS
引用
收藏
页码：185 / 214
页数：30
相关论文
共 20 条
  • [1] Aho A. V., 1977, PRINCIPLES COMPILER
  • [2] 10 YEARS OF HOARE LOGIC - A SURVEY .1.
    APT, KR
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1981, 3 (04): : 431 - 483
  • [3] COMPILER WRITING SYSTEM FOR ATTRIBUTE GRAMMARS
    BOCHMANN, GV
    WARD, P
    [J]. COMPUTER JOURNAL, 1978, 21 (02) : 144 - 148
  • [4] BROSGOL BM, 1974, TR374 HARV U CTR RES
  • [5] Burstall R. M., 1969, MACHINE INTELLIGENCE, V4, P17
  • [6] ORDER-ALGEBRAIC DEFINITION OF KNUTHIAN SEMANTICS
    CHIRICA, LM
    MARTIN, DF
    [J]. MATHEMATICAL SYSTEMS THEORY, 1979, 13 (01): : 1 - 27
  • [7] CHIRICA LM, 1976, UCLAENG7697 COMP SCI
  • [8] INITIAL ALGEBRA SEMANTICS AND CONTINUOUS ALGEBRAS
    GOGUEN, JA
    THATCHER, JW
    WAGNER, EG
    WRIGHT, JB
    [J]. JOURNAL OF THE ACM, 1977, 24 (01) : 68 - 95
  • [9] Gordon M., 1979, DENOTATIONAL DESCRIP
  • [10] AN AXIOMATIC BASIS FOR COMPUTER PROGRAMMING
    HOARE, CAR
    [J]. COMMUNICATIONS OF THE ACM, 1969, 12 (10) : 576 - &
12