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 条

[21] Sets, types and type-checking
Turner, R
JOURNAL OF LOGIC AND COMPUTATION, 1999, 9 (06) : 959 - 975
[22] DESIGN INTEGRITY AND IMMUNITY CHECKING: A NEW LOOK AT LAYOUT VERIFICATION AND DESIGN RULE CHECKING.
McGrath, Edward J.
Whitney, Telle
Jahrbuch der Schiffbautechnischen Gesellschaft, 1980, : 263 - 268
[23] Design Rule Checking. Current Challenges Approached with HyperLynx DRC
Iov, Catalin J.
Hnatiuc, Mihaela
2018 IEEE 24TH INTERNATIONAL SYMPOSIUM FOR DESIGN AND TECHNOLOGY IN ELECTRONIC PACKAGING (SIITME), 2018, : 114 - 117
[24] Deterministic haplotyping algorithms for pedigree analysis and error checking.
O'Connell, JR
AMERICAN JOURNAL OF HUMAN GENETICS, 1999, 65 (04) : A438 - A438
[25] Process Control of Friction Welding Machines by Parameter Checking.
Scheruebl, H.
Blech, Rohre, Profile, 1980, 27 (04): : 222 - 225
[26] VIDEO MONITOR SELECTION REQUIRES MORE THAN SPECIFICATION CHECKING.
Owoc, Richard
O'Donnell, John
Computer Technology Review, 1985, 5 (04): : 178 - 179
[27] A type checking algorithm for qualified session types
Giunti, Marco
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (61): : 96 - 114
[28] An algorithm for type-checking dependent types
Coquand, T
SCIENCE OF COMPUTER PROGRAMMING, 1996, 26 (1-3) : 167 - 177
[29] 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
[30] 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

← 1 2 3 4 5 →