ALGEBRAIC SPECIFICATIONS OF COMPUTABLE AND SEMICOMPUTABLE DATA-TYPES

被引：51
作者：
BERGSTRA, JA
TUCKER, JV
机构：
[1] STATE UNIV UTRECHT,DEPT PHILOSOPHY,3584 CH UTRECHT,NETHERLANDS
[2] UNIV LEEDS,DEPT COMP SCI,LEEDS LS2 9JT,W YORKSHIRE,ENGLAND
来源：
THEORETICAL COMPUTER SCIENCE | 1987年 / 50卷 / 02期
关键词：
D O I：
10.1016/0304-3975(87)90123-X
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：137 / 181
页数：45
相关论文
共 57 条
  • [1] Bergstra J. A., 1984, Elektronische Informationsverarbeitung und Kybernetik (EIK), V20, P531
  • [2] EXPRESSIVENESS AND THE COMPLETENESS OF HOARE LOGIC
    BERGSTRA, JA
    TUCKER, JV
    [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1982, 25 (03) : 267 - 284
  • [3] THE COMPLETENESS OF THE ALGEBRAIC SPECIFICATION METHODS FOR COMPUTABLE DATA-TYPES
    BERGSTRA, JA
    TUCKER, JV
    [J]. INFORMATION AND CONTROL, 1982, 54 (03): : 186 - 200
  • [4] THE AXIOMATIC SEMANTICS OF PROGRAMS BASED ON HOARES LOGIC
    BERGSTRA, JA
    TUCKER, JV
    [J]. ACTA INFORMATICA, 1984, 21 (03) : 293 - 320
  • [5] INITIAL AND FINAL ALGEBRA-SEMANTICS FOR DATA TYPE SPECIFICATIONS - 2 CHARACTERIZATION THEOREMS
    BERGSTRA, JA
    TUCKER, JV
    [J]. SIAM JOURNAL ON COMPUTING, 1983, 12 (02) : 366 - 387
  • [6] BERGSTRA JA, 1980, 7TH ICALP, P76
  • [7] BERGSTRA JA, 1979, IW115 MATH CTR DEP C
  • [8] BERGSTRA JA, 1979, ACM SIGPLAN NOTICES, V14, P13
  • [9] BERGSTRA JA, 1980, IW131 MATH CTR DEP C
  • [10] BERGSTRA JA, 1980, IW128 MATH CTR DEP C
123456