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 [J].

BERGSTRA, JA ;

TUCKER, JV .

JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1982, 25 (03) :267-284

[3] THE COMPLETENESS OF THE ALGEBRAIC SPECIFICATION METHODS FOR COMPUTABLE DATA-TYPES [J].

BERGSTRA, JA ;

TUCKER, JV .

INFORMATION AND CONTROL, 1982, 54 (03) :186-200

[4] THE AXIOMATIC SEMANTICS OF PROGRAMS BASED ON HOARES LOGIC [J].

BERGSTRA, JA ;

TUCKER, JV .

ACTA INFORMATICA, 1984, 21 (03) :293-320

[5] INITIAL AND FINAL ALGEBRA-SEMANTICS FOR DATA TYPE SPECIFICATIONS - 2 CHARACTERIZATION THEOREMS [J].

BERGSTRA, JA ;

TUCKER, JV .

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

← 1 2 3 4 5 6 →