Sets, types and type-checking

被引：1
|
作者：
Turner, R [1 ]
机构：
[1] Univ Essex, Dept Comp Sci, Colchester CO4 3SQ, Essex, England
来源：
JOURNAL OF LOGIC AND COMPUTATION | 1999年 / 9卷 / 06期
关键词：
Z; specification; set theory; type assignment; type theory;
D O I：
10.1093/logcom/9.6.959
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
The underlying set theory of the Z-specification language is said to be a typed set theory. There are two interpretations of this to be found in the literature. One is based upon Simple Type theory and the other on set theory plus a type assignment system. We establish their equivalance.
引用
收藏
页码：959 / 975
页数：17
相关论文
共 50 条
  • [41] DATA TYPES, PARAMETERS AND TYPE CHECKING.
    Demers, Alan J.
    Donahue, James E.
    Conference Record of the Annual ACM Symposium on Principles of Programming Languages, 1980, : 12 - 23
  • [42] A type checking algorithm for qualified session types
    Giunti, Marco
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (61): : 96 - 114
  • [43] 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
  • [44] 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
  • [45] Using types as approximations for type checking prolog programs
    Beierle, C
    Meyer, G
    FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 1999, 1722 : 251 - 266
  • [46] Type Checking and Inference Are Equivalent in Lambda Calculi with Existential Types
    Kato, Yuki
    Nakazawa, Koji
    FUNCTIONAL AND CONSTRAINT LOGIC PROGRAMMING, 2010, 5979 : 96 - 110
  • [47] Directional type checking for logic programs: Beyond discriminative types
    Charatonik, W
    PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2000, 1782 : 72 - 87
  • [48] Termination checking with types
    Abel, A
    RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 2004, 38 (04): : 277 - 319
  • [49] Algorithmic type checking for a pi-calculus with name matching and session types
    Giunti, Marco
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2013, 82 (08): : 263 - 281
  • [50] From Linear Types to Behavioural Types and Model Checking
    Kobayashi, Naoki
    CONCURRENT OBJECTS AND BEYOND: PAPERS DEDICATED TO AKINORI YONEZAWA ON THE OCCASION OF HIS 65TH BIRTHDAY, 2014, 8665 : 128 - 143
12345