THEORY OF MODULES

被引：13

作者：

GANNON, JD

HAMLET, RG

MILLS, HD

机构：

[1] UNIV MARYLAND,INST ADV COMP STUDIES,COLLEGE PK,MD 20742

[2] OREGON GRAD CTR,DEPT COMP SCI & ENGN,BEAVERTON,OR 97006

[3] IBM CORP,BETHESDA,MD 20817

来源：

关键词：

D O I：

10.1109/TSE.1987.233493

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：820 / 829

页数：10

共 8 条

[1] DAHL OJ, 1970, NORWEGIAN COMPUTIN S, V22
[2] INITIAL ALGEBRA SEMANTICS AND CONTINUOUS ALGEBRAS
GOGUEN, JA
THATCHER, JW
WAGNER, EG
WRIGHT, JB
[J]. JOURNAL OF THE ACM, 1977, 24 (01) : 68 - 95
[3] GUTTAG JV, 1978, ACTA INFORM, V10, P27, DOI 10.1007/BF00260922
[4] HAMLET RG, 1984, CSE84006 OR GRAD CTR
[5] Hoare C. A. R., 1972, Acta Informatica, V1, P271, DOI 10.1007/BF00289507
[6] LONDON RL, 1978, ACTA INFORM, V10, P1, DOI 10.1007/BF00260921
[7] MILLS H, 1987, PRINCIPLES COMPUTER
[8] Wulf W. A., 1976, IEEE Transactions on Software Engineering, VSE-2, P253, DOI 10.1109/TSE.1976.233830