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 条

[1] RELATIVE COMPLETENESS AND SPECIFICATION OF ABSTRACT DATA TYPES
林惠民
Science China Mathematics, 1988, (08) : 1002 - 1010
[2] RELATIVE COMPLETENESS AND SPECIFICATION OF ABSTRACT DATA TYPES.
Lin, Huimin
Scientia sinica. Series A. Mathematical, physical, astronomical and technical sciences, 1988, 31 (08): : 1002 - 1010
[3] SPECIFICATION AND IMPLEMENTATION OF ABSTRACT DATA-TYPES
BERZTISS, AT
THATTE, S
ADVANCES IN COMPUTERS, 1983, 22 : 295 - 353
[4] AN EXECUTABLE SPECIFICATION LANGUAGE FOR ABSTRACT DATA-TYPES
BELKHOUCHE, B
URBAN, JE
TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1984, 3 (04): : 247 - 251
[5] A PRACTICAL EXAMPLE OF THE SPECIFICATION OF ABSTRACT DATA-TYPES
TOMPA, FW
ACTA INFORMATICA, 1980, 13 (03) : 205 - 224
[6] THE COMPLETENESS OF THE ALGEBRAIC SPECIFICATION METHODS FOR COMPUTABLE DATA-TYPES
BERGSTRA, JA
TUCKER, JV
INFORMATION AND CONTROL, 1982, 54 (03): : 186 - 200
[7] SPECIFICATION OF ABSTRACT DATA-TYPES WITH PARTIALLY DEFINED OPERATIONS
SAKABE, T
INAGAKI, Y
JAPAN ANNUAL REVIEWS IN ELECTRONICS COMPUTERS & TELECOMMUNICATIONS, 1984, 12 : 60 - 71
[8] DIRECT IMPLEMENTATION OF ALGEBRAIC SPECIFICATION OF ABSTRACT DATA-TYPES
MOITRA, A
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1982, 8 (01) : 12 - 20
[9] ON THE THEORY OF SPECIFICATION, IMPLEMENTATION, AND PARAMETRIZATION OF ABSTRACT DATA-TYPES
EHRICH, HD
JOURNAL OF THE ACM, 1982, 29 (01) : 206 - 227
[10] DATABASE INSTANCES, ABSTRACT DATA-TYPES AND DATABASE SPECIFICATION
MAIBAUM, TSE
COMPUTER JOURNAL, 1985, 28 (02): : 154 - 161

← 1 2 3 4 5 →