THE COMPLETENESS OF THE ALGEBRAIC SPECIFICATION METHODS FOR COMPUTABLE DATA-TYPES

被引:24
作者
BERGSTRA, JA [1 ]
TUCKER, JV [1 ]
机构
[1] UNIV LEEDS,DEPT COMP STUDIES,LEEDS LS2 9JT,W YORKSHIRE,ENGLAND
来源
INFORMATION AND CONTROL | 1982年 / 54卷 / 03期
关键词
D O I
10.1016/S0019-9958(82)80021-1
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
引用
收藏
页码:186 / 200
页数:15
相关论文
共 28 条
[1]  
Bergstra J. A., 1980, Automata, Languages and Programming, Seventh Colloquium, P76
[2]   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
[3]  
BERGSTRA JA, 1979, IW115 MATH CTR DEP C
[4]  
BERGSTRA JA, 1979, ACM SIGPLAN NOTICES, V14, P13
[5]  
BERGSTRA JA, 1980, IW131 MATH CTR DEP C
[6]  
BERGSTRA JA, 1980, IW128 MATH CTR DEP C
[7]  
BERGSTRA JA, 1980, B EATCS, V11, P23
[8]  
BROY M, 1979, AUTOMATA LANGUAGES P, P72
[9]  
GIARRATANA V, 1976, LECTURE NOTES COMPUT, V45
[10]  
Goguen J., 1978, CURRENT TRENDS PROGR, P80