DATA TYPES, PARAMETERS AND TYPE CHECKING.

被引：0
|
作者：
Demers, Alan J.
Donahue, James E.
机构：
来源：
Conference Record of the Annual ACM Symposium on Principles of Programming Languages | 1980年
基金：
美国国家科学基金会;
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
A treatment of type-checking that makes it possible to do completely static checking with a general parameterization mechanism allowing parameterized types, types as parameters, and even a disciplined form of self-application. The method defines a calculus of ″signatures″ , where signatures are similar to the ″program types″ of J. Reynolds. Each identifier and expression is given a signature, and applications are type-correct when argument and parameter signatures are equivalent under a simple set of signature transformation rules.
引用
收藏
页码：12 / 23
相关论文
共 50 条
  • [41] CheckFence: Checking Consistency of Concurrent Data Types on Relaxed Memory Models
    Burckhardt, Sebastian
    Alur, Rajeev
    Martin, Milo M. K.
    PLDI'07: PROCEEDINGS OF THE 2007 ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION, 2007, : 12 - 21
  • [42] CheckFence: Checking consistency of concurrent data types on relaxed memory models
    Burckhardt, Sebastian
    Alur, Rajeev
    Martin, Milo M. K.
    ACM SIGPLAN NOTICES, 2007, 42 (06) : 12 - 21
  • [43] 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
  • [44] Type-indexed data types
    Hinze, R
    Jeuring, J
    Löh, A
    MATHEMATICS OF PROGRAM CONSTRUCTION, 2002, 2386 : 148 - 174
  • [45] Type-indexed data types
    Hinze, R
    Jeuring, J
    Löb, A
    SCIENCE OF COMPUTER PROGRAMMING, 2004, 51 (1-2) : 117 - 151
  • [46] ABSTRACT-DATA-TYPES AND TYPE THEORY - THEORIES AS TYPES
    DEQUEIROZ, RJGB
    MAIBAUM, TSE
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1991, 37 (02): : 149 - 166
  • [47] 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
  • [48] From linear types to behavioural types and model checking
    Kobayashi, Naoki
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8665 : 128 - 143
  • [49] Safer Tripping: Serotonergic Psychedelics and Drug Checking. Submission and Detection Rates, Potential Harms, and Challenges for Drug Analysis
    Hirschfeld, Tim
    Smit-Rigter, Laura
    van der Gouwe, Daan
    Reiche, Simon
    Stoever, Heino
    Majic, Tomislav
    CURRENT ADDICTION REPORTS, 2021, 8 (03) : 389 - 398
  • [50] Simplifying Process Parameters by Unfolding Algebraic Data Types
    Stramaglia, Anna
    Keiren, Jeroen J. A.
    Neele, Thomas
    THEORETICAL ASPECTS OF COMPUTING, ICTAC 2023, 2023, 14446 : 399 - 416
12345