SPECIFICATION AND IMPLEMENTATION OF CONCURRENTLY ACCESSED DATA-STRUCTURES - AN ABSTRACT DATA TYPE APPROACH

被引：0

|

作者：

KAPLAN, S ^{[1
]}

PNUELI, A ^{[1
]}

机构：

[1] FAC SCI ORSAY, LRI, F-91405 ORSAY, FRANCE

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1987年 / 247卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：220 / 244

页数：25

相关论文

共 50 条

[1] A temporal approach to specification and verification of pointer data-structures
Kubica, M
[J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2003, 2621 : 231 - 245
[2] ABSTRACT DATA TYPES AND DEVELOPMENT OF DATA-STRUCTURES
GUTTAG, J
[J]. COMMUNICATIONS OF THE ACM, 1977, 20 (06) : 396 - 404
[3] SPECIFICATION SCHEME FOR THE VISUALIZATION OF DATA-STRUCTURES
LU, XB
STETTER, F
[J]. SOFTWARE ENGINEERING JOURNAL, 1994, 9 (03): : 127 - 133
[4] IMPLEMENTING ABSTRACT DATA-STRUCTURES IN HARDWARE
BAUERNOPPEL, F
JUNG, H
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 324 : 171 - 179
[5] SPECIFICATIONS OF CONCURRENTLY ACCESSED DATA
MISRA, J
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1989, 375 : 91 - 114
[6] SYSTOLIC TREE IMPLEMENTATION OF DATA-STRUCTURES
CHANG, JH
IBARRA, OH
MOON, JC
RAO, KK
[J]. IEEE TRANSACTIONS ON COMPUTERS, 1988, 37 (06) : 727 - 735
[7] AN ALPHARD SPECIFICATION OF A CORRECT AND EFFICIENT TRANSFORMATION ON DATA-STRUCTURES
BENTLEY, JL
SHAW, M
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1980, 6 (06) : 572 - 584
[8] SPECIFICATION AND IMPLEMENTATION OF ABSTRACT DATA-TYPES
BERZTISS, AT
THATTE, S
[J]. ADVANCES IN COMPUTERS, 1983, 22 : 295 - 353
[9] DATA-STRUCTURES FOR VIRTUAL-CIRCUIT IMPLEMENTATION
STEWART, N
[J]. COMPUTER COMMUNICATIONS, 1982, 5 (04) : 196 - 201
[10] DATA-STRUCTURES
GILES, D
[J]. COMPUTER JOURNAL, 1991, 34 (05): : 385 - 385

← 1 2 3 4 5 →