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 条
  • [1] RELIABILITY PARAMETERS IN METROLOGICAL CHECKING.
    Novikov, S.R.
    Borodin, G.V.
    Zykanov, V.N.
    Konychev, V.N.
    Measurement Techniques, 1985, 28 (02) : 118 - 120
  • [2] READ-ONLY ARRAY DATA CHECKING.
    Anon
    IBM technical disclosure bulletin, 1985, 28 (03): : 1163 - 1165
  • [3] IMPROVED PARITY CHECKING.
    Anon
    IBM technical disclosure bulletin, 1985, 28 (03): : 1206 - 1207
  • [4] SCANLINE DATA STRUCTURE PROCESSOR FOR VLSI GEOMETRY CHECKING.
    Carlson, Erik C.
    Rutenbar, Rob A.
    IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1986, CAD-6 (05):
  • [5] Ac Comparators and Their Checking.
    Fajt, Vaclav
    Bohacek, Jaroslav
    Elektrotechnicky obzor, 1981, 70 (01): : 3 - 6
  • [6] INTERRUPT ERROR CHECKING.
    Bonczek, R.
    2011, (15):
  • [7] Multivariate analysis for fMRI data investigation and model checking.
    Kherif, F
    Andrade, A
    Benali, H
    Le Bihan, D
    Poline, JB
    NEUROIMAGE, 2001, 13 (06) : S171 - S171
  • [8] Model Checking. Part I
    Ishida, Kazuhisa
    FORMALIZED MATHEMATICS, 2006, 14 (04): : 171 - 186
  • [9] Model Checking. Part II
    Ishida, Kazuhisa
    FORMALIZED MATHEMATICS, 2008, 16 (03): : 231 - 245
  • [10] Model Checking. Part III
    Ishida, Kazuhisa
    Shidama, Yasunari
    FORMALIZED MATHEMATICS, 2008, 16 (04): : 339 - 353
12345