SPECIFICATION AND IMPLEMENTATION OF ABSTRACT DATA-TYPES

被引：5

|

作者：

BERZTISS, AT

THATTE, S

机构：

来源：

ADVANCES IN COMPUTERS | 1983年 / 22卷

关键词：

D O I：

10.1016/S0065-2458(08)60131-X

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

收藏

页码：295 / 353

页数：59

相关论文

共 50 条

[41] COMPUTABILITY AND IMPLEMENTABILITY ISSUES IN ABSTRACT DATA-TYPES
KAPUR, D
SRIVAS, M
SCIENCE OF COMPUTER PROGRAMMING, 1988, 10 (01) : 33 - 63
[42] A SYSTEMATIC STUDY OF MODELS OF ABSTRACT DATA-TYPES
BROY, M
WIRSING, M
PAIR, C
THEORETICAL COMPUTER SCIENCE, 1984, 33 (2-3) : 139 - 174
[43] ABSTRACT DATA-TYPES IN ASSEMBLY LANGUAGE PROGRAMMING
RUANE, LM
SIGPLAN NOTICES, 1984, 19 (01): : 63 - 67
[44] From static to dynamic abstract data-types
Zucca, E
MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 1996, 1996, 1113 : 579 - 590
[45] IMPLEMENTATION OF DATA-TYPES BY ALGEBRAIC METHODS
BLUM, EK
PARISIPRESICCE, F
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1983, 27 (02) : 304 - 330
[46] IMPLEMENTATION OF RESILIENT, ATOMIC DATA-TYPES
WEIHL, W
LISKOV, B
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1985, 7 (02): : 244 - 269
[47] DATA-BASE DESIGN USING ABSTRACT DATA-TYPES
ZAMULIN, AV
SKOPIN, IN
PROGRAMMING AND COMPUTER SOFTWARE, 1981, 7 (05) : 267 - 271
[48] THE COMPLETENESS OF THE ALGEBRAIC SPECIFICATION METHODS FOR COMPUTABLE DATA-TYPES
BERGSTRA, JA
TUCKER, JV
INFORMATION AND CONTROL, 1982, 54 (03): : 186 - 200
[49] EVENT LOGIC FOR SPECIFYING ABSTRACT DYNAMIC DATA-TYPES
REGGIO, G
LECTURE NOTES IN COMPUTER SCIENCE, 1993, 655 : 292 - 309
[50] VERIFYING ABSTRACT DATA-TYPES WITH SNOBOL4
FLECK, AC
SOFTWARE-PRACTICE & EXPERIENCE, 1982, 12 (07): : 627 - 640

← 1 2 3 4 5 →