DATA TYPES AS VALUES: POLYMORPHISM, TYPE-CHECKING, ENCAPSULATION.

被引：0
|
作者：
Demers, Alan
Donahue, James
Skinner, Glenn
机构：
来源：
| 1978年
关键词：
DATA TYPES - ENCAPSULATION - POLYMORPHISM - TYPE-CHECKING RULES;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
One of the goals of research in programming languages is the isolation of the underlying concepts of languages, i. e. , those basic ideas that allow us to understand the relations among various language features. This paper describes a novel approach to the treatment of data types in programming languages, which allows a simple interpretation of ″polymorphic″ or ″generic″ procedures, makes a simple set of type-checking rules semantically justifiable and provides a straightforward treatment of encapsulation.
引用
收藏
页码：23 / 30
相关论文
共 50 条
  • [41] Well-definedness and semantic type-checking in the nested relational calculus and XQuery extended abstract
    Van den Bussche, J
    Van Gucht, D
    Vansummeren, S
    DATABASE THEORY - ICDT 2005, PROCEEDINGS, 2005, 3363 : 99 - 113
  • [42] POLYMORPHISM AND TYPE CHECKING IN OBJECT ORIENTED LANGUAGES
    GROGONO, P
    BENNETT, A
    SIGPLAN NOTICES, 1989, 24 (11): : 109 - 115
  • [43] A type checking algorithm for qualified session types
    Giunti, Marco
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (61): : 96 - 114
  • [44] On the Complexity of Checking Consistency for Replicated Data Types
    Biswas, Ranadeep
    Emmi, Michael
    Enea, Constantin
    COMPUTER AIDED VERIFICATION, CAV 2019, PT II, 2019, 11562 : 324 - 343
  • [45] DATA-TYPES ARE VALUES
    DONAHUE, J
    DEMERS, A
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1985, 7 (03): : 426 - 445
  • [46] Type checking a multithreaded functional language with session types
    Vasconcelos, Vasco T.
    Gay, Simon J.
    Ravara, Antonio
    THEORETICAL COMPUTER SCIENCE, 2006, 368 (1-2) : 64 - 87
  • [47] Efficient Type Checking for a Subclass of Regular Expression Types
    Chen, Lei
    Chen, Haiming
    PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE FOR YOUNG COMPUTER SCIENTISTS, VOLS 1-5, 2008, : 1647 - 1652
  • [48] Using types as approximations for type checking prolog programs
    Beierle, C
    Meyer, G
    FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 1999, 1722 : 251 - 266
  • [49] ON UNDERSTANDING TYPES, DATA ABSTRACTION, AND POLYMORPHISM
    CARDELLI, L
    WEGNER, P
    JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (03) : 837 - 837
  • [50] ON UNDERSTANDING TYPES, DATA ABSTRACTION, AND POLYMORPHISM
    CARDELLI, L
    WEGNER, P
    COMPUTING SURVEYS, 1985, 17 (04) : 471 - 522
12345