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 条

[11] SPECIFICATION AND IMPLEMENTATION OF RESILIENT, ATOMIC DATA-TYPES
WEIHL, W
LISKOV, B
SIGPLAN NOTICES, 1983, 18 (06): : 53 - 64
[12] ON IMPLEMENTATION PROBLEMS OF SHARED ABSTRACT DATA-TYPES
KOZMA, L
LABORCZI, Z
LECTURE NOTES IN COMPUTER SCIENCE, 1983, 152 : 146 - 152
[13] THE METANET - A MEANS FOR THE SPECIFICATION OF SEMANTIC NETWORKS AS ABSTRACT DATA-TYPES
DILGER, W
WOMANN, W
INTERNATIONAL JOURNAL OF MAN-MACHINE STUDIES, 1984, 21 (06): : 463 - 492
[14] ALGORITHMIC SPECIFICATIONS - A CONSTRUCTIVE SPECIFICATION METHOD FOR ABSTRACT DATA-TYPES
LOECKX, J
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1987, 9 (04): : 646 - 685
[15] INTEGRATING LOGIC PROGRAMMING AND EQUATIONAL SPECIFICATION OF ABSTRACT DATA-TYPES
BEIERLE, C
PLETAT, U
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 343 : 71 - 82
[16] SPECIFICATION BY DATA-TYPES
ANAIRCHINNIGH, MM
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 252 : 362 - 388
[17] PROCEDURAL IMPLEMENTATION OF ALGEBRAIC SPECIFICATIONS OF ABSTRACT DATA-TYPES
LOMAZOVA, IA
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 278 : 288 - 292
[18] ON THE IMPLEMENTATION OF ABSTRACT DATA-TYPES BY PROGRAMMING LANGUAGE CONSTRUCTS
POIGNE, A
VOSS, J
LECTURE NOTES IN COMPUTER SCIENCE, 1985, 185 : 388 - 402
[19] ON THE MULTIPLE IMPLEMENTATION OF ABSTRACT DATA-TYPES WITHIN A COMPUTATION
WHITE, JR
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1983, 9 (04) : 395 - 411
[20] SPECIFICATION AND VERIFICATION OF TCSP SYSTEMS BY MEANS OF PARTIAL ABSTRACT DATA-TYPES
PENA, R
ALONSO, LM
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 352 : 328 - 344

← 1 2 3 4 5 →