Abstract Data Types without the Types

被引：0

作者：

Wadler, Philip ^{[1
]}

机构：

[1] Univ Edinburgh, Edinburgh EH8 9YL, Midlothian, Scotland

来源：

JOURNAL OF UNIVERSAL COMPUTER SCIENCE | 2017年 / 23卷 / 01期

基金：

英国工程与自然科学研究理事会;

关键词：

abstract data type; information hiding; gradual typing; Miranda; Haskell;

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

The data abstraction mechanism of Miranda may be adapted to a dynamically typed programming language by applying ideas from gradual typing.

引用

页码：5 / 20

页数：16

共 50 条

[41] Transition specifications for dynamic abstract data types
Grosse-Rhode, Martin
1997, Kluwer Academic Publishers, Dordrecht, Netherlands (05)
[42] SPECIFICATION AND TESTING OF ABSTRACT-DATA-TYPES
JALOTE, P
COMPUTER LANGUAGES, 1992, 17 (01): : 75 - 82
[43] APPROXIMATION PROPERTIES OF ABSTRACT DATA-TYPES
SCHMIDT, DA
THEORETICAL COMPUTER SCIENCE, 1983, 24 (01) : 73 - 94
[44] Combining the animation and testing of abstract data types
Miller, T
Strooper, P
SECOND ASIA-PACIFIC CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, 2001, : 249 - 258
[45] Class-Diagrams for Abstract Data Types
Thai Son Hoang
Snook, Colin
Dghaym, Dana
Butler, Michael
THEORETICAL ASPECTS OF COMPUTING - ICTAC 2017, 2017, 10580 : 100 - 117
[46] DIRECT IMPLEMENTATION OF ABSTRACT DATA TYPES FROM ABSTRACT SPECIFICATIONS.
Belkhouche, Boumediene
Urban, Joseph E.
IEEE Transactions on Software Engineering, 1986, SE-12 (05) : 649 - 661
[47] DIRECT IMPLEMENTATION OF ABSTRACT-DATA-TYPES FROM ABSTRACT SPECIFICATIONS
BELKHOUCHE, B
URBAN, JE
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1986, 12 (05) : 649 - 661
[48] ABSTRACT-DATA-TYPES FOR THE LOGICAL MODELING OF COMPLEX DATA
GARGANO, M
NARDELLI, E
TALAMO, M
INFORMATION SYSTEMS, 1991, 16 (06) : 565 - 583
[49] STRANGE BEDFELLOWS - ABSTRACT-DATA-TYPES AND DBASEIII
DOAKE, J
BRITTON, C
MITCHELL, R
INFORMATION AND SOFTWARE TECHNOLOGY, 1992, 34 (02) : 83 - 90
[50] A SYSTEMATIC STUDY OF MODELS OF ABSTRACT DATA-TYPES
BROY, M
WIRSING, M
PAIR, C
THEORETICAL COMPUTER SCIENCE, 1984, 33 (2-3) : 139 - 174

← 1 2 3 4 5 →