CONSTRUCTIVE DATA-TYPES

被引：0

|

作者：

MCCARTY, DC

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1985年 / 50卷 / 04期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：1097 / 1097

页数：1

相关论文

共 50 条

[31] ABSTRACT DATA-TYPES, SUBTYPES AND DATA INDEPENDENCE
BURTON, FW
LINGS, BJ
COMPUTER JOURNAL, 1981, 24 (04): : 308 - 311
[32] ON THE ALGEBRAIC EXTENSIONS OF ABSTRACT DATA-TYPES
BROY, M
WIRSING, M
LECTURE NOTES IN COMPUTER SCIENCE, 1981, 107 : 244 - 251
[33] IMPLEMENTATION OF DATA-TYPES BY ALGEBRAIC METHODS
BLUM, EK
PARISIPRESICCE, F
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1983, 27 (02) : 304 - 330
[34] ABSTRACT DATA-TYPES WITH SHARED OPERATIONS
OSTERBYE, K
SIGPLAN NOTICES, 1988, 23 (06): : 91 - 96
[35] CLASSIFICATION AND CONTROL OF TYPES IN PROGRAMS WITH COMPLEX DATA-TYPES
BABICHEV, AV
AUTOMATION AND REMOTE CONTROL, 1989, 50 (03) : 422 - 429
[36] CATEGORIES, DATA-TYPES, AND IMPERATIVE LANGUAGES
WAGNER, EG
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 240 : 143 - 162
[37] AN EXPERIENCE IN IMPLEMENTING ABSTRACT DATA-TYPES
BANATRE, M
COUVERT, A
HERMAN, D
RAYNAL, M
SOFTWARE-PRACTICE & EXPERIENCE, 1981, 11 (03): : 315 - 320
[38] Programming with Binders and Indexed Data-Types
Cave, Andrew
Pientka, Brigitte
POPL 12: PROCEEDINGS OF THE 39TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2012, : 413 - 424
[39] Programming with Binders and Indexed Data-Types
Cave, Andrew
Pientka, Brigitte
ACM SIGPLAN NOTICES, 2012, 47 (01) : 413 - 424
[40] STRONG STORAGE OPERATORS AND DATA-TYPES
NOUR, K
ARCHIVE FOR MATHEMATICAL LOGIC, 1995, 34 (01) : 65 - 78

← 1 2 3 4 5 →