ALGEBRAIC SPECIFICATION OF ABSTRACT DATA TYPES

被引：0

|

作者：

GUTTAG, JV ^{[1
]}

HORNING, JJ ^{[1
]}

机构：

[1] UNIV TORONTO,COMP SYST RES GRP,TORONTO M5S 1A4,ONTARIO,CANADA

来源：

ACTA INFORMATICA | 1978年 / 10卷 / 01期

关键词：

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

收藏

页码：27 / 52

页数：26

相关论文

共 50 条

[1] Learning about the algebraic specification of abstract data types
Segal, J
[J]. EMPIRICAL STUDIES OF PROGRAMMERS: SIXTH WORKSHOP, 1996, : 195 - 218
[2] SHARED ABSTRACT DATA-TYPES - AN ALGEBRAIC METHODOLOGY FOR THEIR SPECIFICATION
BONDAVALLI, A
DEFRANCESCO, N
LATELLA, D
VAGLINI, G
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1989, 364 : 53 - 67
[3] DIRECT IMPLEMENTATION OF ALGEBRAIC SPECIFICATION OF ABSTRACT DATA-TYPES
MOITRA, A
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1982, 8 (01) : 12 - 20
[4] On algebraic specifications of abstract data types
Khoussainov, B
[J]. COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2003, 2803 : 299 - 313
[5] RELATIVE COMPLETENESS AND SPECIFICATION OF ABSTRACT DATA TYPES
林惠民
[J]. Science China Mathematics, 1988, (08) : 1002 - 1010
[6] RELATIVE COMPLETENESS AND SPECIFICATION OF ABSTRACT DATA TYPES
林惠民
[J]. ScienceinChina,Ser.A., 1988, Ser.A.1988 (08) - 1010
[7] SPECIFICATION AND IMPLEMENTATION OF ABSTRACT DATA-TYPES
BERZTISS, AT
THATTE, S
[J]. ADVANCES IN COMPUTERS, 1983, 22 : 295 - 353
[8] SPECIFICATION AND TESTING OF ABSTRACT-DATA-TYPES
JALOTE, P
[J]. COMPUTER LANGUAGES, 1992, 17 (01): : 75 - 82
[9] THE ALGEBRAIC SPECIFICATION OF SEMICOMPUTABLE DATA-TYPES
VRANCKEN, JLM
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 332 : 249 - 259
[10] ON THE ALGEBRAIC EXTENSIONS OF ABSTRACT DATA-TYPES
BROY, M
WIRSING, M
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1981, 107 : 244 - 251

← 1 2 3 4 5 →