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

来源：

关键词：

D O I：

10.1016/0304-3975(87)90123-X

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：137 / 181

页数：45

共 57 条

[41]

PARNAS DL, 1972, COMMUN ACM, V15, P1053, DOI 10.1145/361598.361623

[42] TECHNIQUE FOR SOFTWARE MODULE SPECIFICATION WITH EXAMPLES [J].

PARNAS, DL .

[43]

Prachar K., 1957, PRIMZAHLVERTEILUNG

[44]

RABIN MO, 1960, T AM MATH SOC, V98, P341

[45]

Rogers Jr. H., 1967, MCGRAW HILL SERIES H

[46]

ROTMAN JJ, 1973, THEORY GROUPS

[47]

STOLTENBERGHANS.V, UNPUB COMPUTABLE ALG

[48]

SUBRAHMANYAM PA, 1978, ACM SIGPLAN NOTICES, V13, P80

[49]

THATCHER JW, 1979, IBM RC7757 RES REPT

[50]

THATCHER JW, 1979, IBM RC6214 RES REPT