MODULE ALGEBRA

被引：89
作者：
BERGSTRA, JA
HEERING, J
KLINT, P
机构：
[1] STATE UNIV UTRECHT, UTRECHT, NETHERLANDS
[2] CTR MATH & COMP SCI, DEPT SOFTWARE TECHNOL, 1098 SJ AMSTERDAM, NETHERLANDS
来源：
JOURNAL OF THE ACM | 1990年 / 37卷 / 02期
关键词：
D O I：
10.1145/77600.77621
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
An axiomatic algebraic calculus of modules is given that is based on the operators combination/union, export, renaming, and taking the visible signature. Four different models of module algebra are discussed and compared. © 1990, ACM. All rights reserved.
引用
收藏
页码：335 / 372
页数：38
相关论文
共 41 条
[1]  
[Anonymous], 1989, ALGEBRAIC SPECIFICAT
[2]  
Bergstra J. A., 1984, Elektronische Informationsverarbeitung und Kybernetik (EIK), V20, P531
[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]   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
[5]   ALGEBRAIC SPECIFICATIONS OF COMPUTABLE AND SEMICOMPUTABLE DATA-TYPES [J].
BERGSTRA, JA ;
TUCKER, JV .
THEORETICAL COMPUTER SCIENCE, 1987, 50 (02) :137-181
[6]  
BERGSTRA JA, 1981, J COMPUT MATH, V9, P305
[7]  
BERGSTRA JA, 1982, FUND INF, V5, P143
[8]  
BERGSTRA JA, 1987, TERMINOLOGIE ALGEBRA
[9]  
BERGSTRA JA, 1980, 8043 U LEID I APPL M
[10]   ALGEBRAIC SPECIFICATION OF MODULES AND THEIR BASIC INTERCONNECTIONS [J].
BLUM, EK ;
EHRIG, H ;
PARISIPRESICCE, F .
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1987, 34 (2-3) :293-339
12345