DATA-TYPES AS ALGORITHMS

被引：0

作者：

ABDALLAH, MAN ^{[1
]}

机构：

[1] LAB INFORMAT THEOR & PROGRAMMAT,PARIS,FRANCE

来源：

RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS | 1984年 / 18卷 / 01期

关键词：

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：3 / 22

页数：20

共 50 条

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