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 条

[21] 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 - +
[22] 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
[23] FORMAL SPECIFICATION OF GRAPHIC DATA-TYPES
MALLGREN, WR
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1982, 4 (04): : 687 - 710
[24] Mining Abstract XML Data-Types
Athanasopoulos, Dionysis
Zarras, Apostolos
ACM TRANSACTIONS ON THE WEB, 2019, 13 (01)
[25] A DECIDABILITY RESULT ABOUT SUFFICIENT-COMPLETENESS OF AXIOMATICALLY SPECIFIED ABSTRACT DATA-TYPES
NIPKOW, T
WEIKUM, G
LECTURE NOTES IN COMPUTER SCIENCE, 1982, 145 : 257 - 267
[26] NONDETERMINISTIC MODELS OF ABSTRACT DATA-TYPES
LESCANNE, P
RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1982, 16 (03): : 225 - 244
[27] THE ALGEBRAIC SPECIFICATION OF SEMICOMPUTABLE DATA-TYPES
VRANCKEN, JLM
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 332 : 249 - 259
[28] ON THE ALGEBRAIC EXTENSIONS OF ABSTRACT DATA-TYPES
BROY, M
WIRSING, M
LECTURE NOTES IN COMPUTER SCIENCE, 1981, 107 : 244 - 251
[29] A RELATIONAL MODEL FOR THE SPECIFICATION OF DATA-TYPES
BOUDRIGA, N
MILI, A
ZALILA, R
MILI, F
COMPUTER LANGUAGES, 1992, 17 (02): : 101 - 131
[30] ABSTRACT DATA-TYPES WITH SHARED OPERATIONS
OSTERBYE, K
SIGPLAN NOTICES, 1988, 23 (06): : 91 - 96

← 1 2 3 4 5 →