RELATIVE COMPLETENESS AND SPECIFICATION OF ABSTRACT DATA-TYPES

被引：0

|

作者：

LIN, HM

机构：

来源：

SCIENTIA SINICA SERIES A-MATHEMATICAL PHYSICAL ASTRONOMICAL & TECHNICAL SCIENCES | 1988年 / 31卷 / 08期

关键词：

D O I：

暂无

中图分类号：

O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];

学科分类号：

07 ; 0710 ; 09 ;

摘要：

引用

收藏

页码：1002 / 1010

页数：9

相关论文

共 50 条

[41] COMPUTABILITY AND IMPLEMENTABILITY ISSUES IN ABSTRACT DATA-TYPES
KAPUR, D
SRIVAS, M
SCIENCE OF COMPUTER PROGRAMMING, 1988, 10 (01) : 33 - 63
[42] ON IMPLEMENTATION PROBLEMS OF SHARED ABSTRACT DATA-TYPES
KOZMA, L
LABORCZI, Z
LECTURE NOTES IN COMPUTER SCIENCE, 1983, 152 : 146 - 152
[43] A SYSTEMATIC STUDY OF MODELS OF ABSTRACT DATA-TYPES
BROY, M
WIRSING, M
PAIR, C
THEORETICAL COMPUTER SCIENCE, 1984, 33 (2-3) : 139 - 174
[44] ABSTRACT DATA-TYPES IN ASSEMBLY LANGUAGE PROGRAMMING
RUANE, LM
SIGPLAN NOTICES, 1984, 19 (01): : 63 - 67
[45] From static to dynamic abstract data-types
Zucca, E
MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 1996, 1996, 1113 : 579 - 590
[46] DATA-BASE DESIGN USING ABSTRACT DATA-TYPES
ZAMULIN, AV
SKOPIN, IN
PROGRAMMING AND COMPUTER SOFTWARE, 1981, 7 (05) : 267 - 271
[47] PROCEDURAL IMPLEMENTATION OF ALGEBRAIC SPECIFICATIONS OF ABSTRACT DATA-TYPES
LOMAZOVA, IA
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 278 : 288 - 292
[48] EVENT LOGIC FOR SPECIFYING ABSTRACT DYNAMIC DATA-TYPES
REGGIO, G
LECTURE NOTES IN COMPUTER SCIENCE, 1993, 655 : 292 - 309
[49] VERIFYING ABSTRACT DATA-TYPES WITH SNOBOL4
FLECK, AC
SOFTWARE-PRACTICE & EXPERIENCE, 1982, 12 (07): : 627 - 640
[50] ON THE IMPLEMENTATION OF ABSTRACT DATA-TYPES BY PROGRAMMING LANGUAGE CONSTRUCTS
POIGNE, A
VOSS, J
LECTURE NOTES IN COMPUTER SCIENCE, 1985, 185 : 388 - 402

← 1 2 3 4 5 →