CONSTRUCTIVE DATA-TYPES

被引：0

作者：

MCCARTY, DC

机构：

来源：

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：1097 / 1097

页数：1

共 50 条

[21] VERIFYING ATOMIC DATA-TYPES
WING, JM
INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 1989, 18 (05) : 315 - 357
[22] DATA-TYPES WITH ERRORS AND EXCEPTIONS
ZHANG, MH
THEORETICAL COMPUTER SCIENCE, 1992, 105 (02) : 275 - 299
[23] Mining Abstract XML Data-Types
Athanasopoulos, Dionysis
Zarras, Apostolos
ACM TRANSACTIONS ON THE WEB, 2019, 13 (01)
[24] FORMATTED AND UNFORMATTED CHARACTER DATA-TYPES
EASTMAN, CM
JOURNAL OF THE AMERICAN SOCIETY FOR INFORMATION SCIENCE, 1991, 42 (02): : 110 - 111
[25] SPECIFICATION AND IMPLEMENTATION OF ABSTRACT DATA-TYPES
BERZTISS, AT
THATTE, S
ADVANCES IN COMPUTERS, 1983, 22 : 295 - 353
[26] CANONICAL CONSTRAINTS FOR PARAMETERIZED DATA-TYPES
WAGNER, EG
EHRIG, H
THEORETICAL COMPUTER SCIENCE, 1987, 50 (03) : 323 - 349
[27] NONDETERMINISTIC MODELS OF ABSTRACT DATA-TYPES
LESCANNE, P
RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1982, 16 (03): : 225 - 244
[28] FORMAL SPECIFICATION OF GRAPHIC DATA-TYPES
MALLGREN, WR
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1982, 4 (04): : 687 - 710
[29] A MATHEMATICAL APPROACH TO NONDETERMINISM IN DATA-TYPES
HESSELINK, WH
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1988, 10 (01): : 87 - 117
[30] HIGHER-ORDER DATA-TYPES
MAIBAUM, TSE
LUCENA, CJ
INTERNATIONAL JOURNAL OF COMPUTER & INFORMATION SCIENCES, 1980, 9 (01): : 31 - 53