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 条

[1] DIRECT IMPLEMENTATION OF ALGEBRAIC SPECIFICATION OF ABSTRACT DATA-TYPES
MOITRA, A
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1982, 8 (01) : 12 - 20
[2] ON THE THEORY OF SPECIFICATION, IMPLEMENTATION, AND PARAMETRIZATION OF ABSTRACT DATA-TYPES
EHRICH, HD
JOURNAL OF THE ACM, 1982, 29 (01) : 206 - 227
[3] AN EXECUTABLE SPECIFICATION LANGUAGE FOR ABSTRACT DATA-TYPES
BELKHOUCHE, B
URBAN, JE
TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1984, 3 (04): : 247 - 251
[4] A PRACTICAL EXAMPLE OF THE SPECIFICATION OF ABSTRACT DATA-TYPES
TOMPA, FW
ACTA INFORMATICA, 1980, 13 (03) : 205 - 224
[5] RELATIVE COMPLETENESS AND SPECIFICATION OF ABSTRACT DATA-TYPES
LIN, HM
SCIENTIA SINICA SERIES A-MATHEMATICAL PHYSICAL ASTRONOMICAL & TECHNICAL SCIENCES, 1988, 31 (08): : 1002 - 1010
[6] A LANGUAGE USING TYPE HIERARCHIES FOR THE SPECIFICATION, IMPLEMENTATION AND SELECTION OF ABSTRACT DATA-TYPES
SHERMAN, MS
LECTURE NOTES IN COMPUTER SCIENCE, 1985, 189 : 6 - +
[7] MODULA-2 AS A BASIS FOR A SPECIFICATION, AND IMPLEMENTATION METHOD FOR ABSTRACT DATA-TYPES
REITENSPIESS, M
RUPPRECHT, G
ANGEWANDTE INFORMATIK, 1983, (05): : 206 - 212
[8] SPECIFICATION OF ABSTRACT DATA-TYPES WITH PARTIALLY DEFINED OPERATIONS
SAKABE, T
INAGAKI, Y
JAPAN ANNUAL REVIEWS IN ELECTRONICS COMPUTERS & TELECOMMUNICATIONS, 1984, 12 : 60 - 71
[9] DATABASE INSTANCES, ABSTRACT DATA-TYPES AND DATABASE SPECIFICATION
MAIBAUM, TSE
COMPUTER JOURNAL, 1985, 28 (02): : 154 - 161
[10] SHARED ABSTRACT DATA-TYPES - AN ALGEBRAIC METHODOLOGY FOR THEIR SPECIFICATION
BONDAVALLI, A
DEFRANCESCO, N
LATELLA, D
VAGLINI, G
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 364 : 53 - 67

← 1 2 3 4 5 →