Abstract Data Types without the Types

被引：0

作者：

Wadler, Philip ^{[1
]}

机构：

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

来源：

基金：

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

关键词：

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 条

[31] Semantic Code Refactoring for Abstract Data Types
Pailoor, Shankara
Wang, Yuepeng
Dillig, Işll
Proceedings of the ACM on Programming Languages, 8
[32] AN EXPERIENCE IN IMPLEMENTING ABSTRACT DATA-TYPES
BANATRE, M
COUVERT, A
HERMAN, D
RAYNAL, M
SOFTWARE-PRACTICE & EXPERIENCE, 1981, 11 (03): : 315 - 320
[33] Transition Specifications for Dynamic Abstract Data Types
Martin Große-Rhode
Applied Categorical Structures, 1997, 5 : 265 - 308
[34] A Transactional Correctness Tool for Abstract Data Types
Peterson, Christina
Dechev, Damian
ACM TRANSACTIONS ON ARCHITECTURE AND CODE OPTIMIZATION, 2017, 14 (04)
[35] ABSTRACT DATA-TYPES WITH SHARED OPERATIONS
OSTERBYE, K
SIGPLAN NOTICES, 1988, 23 (06): : 91 - 96
[36] Verifying Abstract Data Types A Hybrid Approach
Ahmed, Nahid
2013 INTERNATIONAL CONFERENCE ON COMPUTING, ELECTRICAL AND ELECTRONICS ENGINEERING (ICCEEE), 2013, : 634 - 639
[37] Mining Abstract XML Data-Types
Athanasopoulos, Dionysis
Zarras, Apostolos
ACM TRANSACTIONS ON THE WEB, 2019, 13 (01)
[38] SPECIFICATION AND IMPLEMENTATION OF ABSTRACT DATA-TYPES
BERZTISS, AT
THATTE, S
ADVANCES IN COMPUTERS, 1983, 22 : 295 - 353
[39] Concurrent state transformations on abstract data types
GrosseRhode, M
RECENT TRENDS IN DATA TYPE SPECIFICATION, 1996, 1130 : 222 - 236
[40] ON THE ALGEBRAIC EXTENSIONS OF ABSTRACT DATA-TYPES
BROY, M
WIRSING, M
LECTURE NOTES IN COMPUTER SCIENCE, 1981, 107 : 244 - 251