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 条

[31] ABSTRACT DATA-TYPES WITH SHARED OPERATIONS
OSTERBYE, K
SIGPLAN NOTICES, 1988, 23 (06): : 91 - 96
[32] AN EXPERIENCE IN IMPLEMENTING ABSTRACT DATA-TYPES
BANATRE, M
COUVERT, A
HERMAN, D
RAYNAL, M
SOFTWARE-PRACTICE & EXPERIENCE, 1981, 11 (03): : 315 - 320
[33] APPROXIMATION PROPERTIES OF ABSTRACT DATA-TYPES
SCHMIDT, DA
THEORETICAL COMPUTER SCIENCE, 1983, 24 (01) : 73 - 94
[34] ABSTRACT DATA-TYPES, SUBTYPES AND DATA INDEPENDENCE
BURTON, FW
LINGS, BJ
COMPUTER JOURNAL, 1981, 24 (04): : 308 - 311
[35] ABSTRACT SPECIFICATION OF SYNCHRONOUS DATA-TYPES FOR VLSI AND PROVING THE CORRECTNESS OF SYSTOLIC NETWORK IMPLEMENTATIONS
PROBST, DK
LI, HF
IEEE TRANSACTIONS ON COMPUTERS, 1988, 37 (06) : 710 - 720
[36] ALGEBRAIC SPECIFICATION OF DATA-TYPES - A SYNTHETIC APPROACH
LEHMANN, DJ
SMYTH, MB
MATHEMATICAL SYSTEMS THEORY, 1981, 14 (02): : 97 - 139
[37] SYNTHESIS OF PROGRAMS ON THE BASE OF ABSTRACT DATA-TYPES
ABDYKALYKOV, TA
VESTNIK LENINGRADSKOGO UNIVERSITETA SERIYA MATEMATIKA MEKHANIKA ASTRONOMIYA, 1989, (03): : 90 - 91
[38] A KERNEL LANGUAGE FOR ABSTRACT DATA-TYPES AND MODULES
BURSTALL, R
LAMPSON, B
LECTURE NOTES IN COMPUTER SCIENCE, 1984, 173 : 1 - 50
[39] A VALUE TRANSMISSION METHOD FOR ABSTRACT DATA-TYPES
HERLIHY, M
LISKOV, B
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1982, 4 (04): : 527 - 551
[40] COMPLEXITY OF ALGEBRAIC IMPLEMENTATIONS FOR ABSTRACT DATA-TYPES
EHRIG, H
MAHR, B
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1981, 23 (02) : 223 - 253

← 1 2 3 4 5 →