EQUATIONAL LOGIC OF CIRCULAR DATA TYPE SPECIFICATION

被引：12
作者：
BLOOM, SL [1 ]
ESIK, Z [1 ]
机构：
[1] ATTILA JOZSEF UNIV,BOLYAI INST,H-6701 SZEGED,HUNGARY
来源：
THEORETICAL COMPUTER SCIENCE | 1989年 / 63卷 / 03期
关键词：
39;
D O I：
10.1016/0304-3975(89)90012-1
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：303 / 331
页数：29
相关论文
共 40 条
[21]   ALGEBRAS OF ITERATION THEORIES [J].
ESIK, Z .
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1983, 27 (02) :291-303
[22]  
ESIK Z, 1980, COMPUT LINGUISTICS C, V14, P183
[23]   INITIAL ALGEBRA SEMANTICS AND CONTINUOUS ALGEBRAS [J].
GOGUEN, JA ;
THATCHER, JW ;
WAGNER, EG ;
WRIGHT, JB .
JOURNAL OF THE ACM, 1977, 24 (01) :68-95
[24]  
KELLY GM, 1974, LECT NOTES MATH, V420, P76
[25]   FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES [J].
LAWVERE, FW .
PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA, 1963, 50 (05) :869-&
[26]   ALGEBRAIC SPECIFICATION OF DATA-TYPES - A SYNTHETIC APPROACH [J].
LEHMANN, DJ ;
SMYTH, MB .
MATHEMATICAL SYSTEMS THEORY, 1981, 14 (02) :97-139
[27]  
MacLane S., 1971, GRADUATE TEXTS MATH, V5
[28]   ITERATIVE ALGEBRAS [J].
NELSON, E .
THEORETICAL COMPUTER SCIENCE, 1983, 25 (01) :67-94
[29]  
Scott D., 1976, SIAM Journal on Computing, V5, P522, DOI 10.1137/0205037
[30]  
Scott D. S., 1972, LECT NOTES MATH, V274, P97, DOI DOI 10.1007/BFB0073967
1234