A Simple Mechanism for Type Security Across Compilation Units

Authors:
Michael L. Scott;Raphael A. Finkel
Affiliations:
Univ. of Rochester, Rochester, NY;Univ. of Wisconsin, Madison
Venue:
IEEE Transactions on Software Engineering
Year:
1988

Citing 5
Cited 1

Programming language concepts (2nd ed.)

Programming language concepts (2nd ed.)
High-level binding with low-level linkers

Communications of the ACM
A type-checking program linkage system for pascal

ICSE '78 Proceedings of the 3rd international conference on Software engineering
The Berlin ALGOL 68 implementation

Proceedings of the Strathclyde ALGOL 68 conference
The Equivalence of Modes and the Equivalence of Finite Automata

ALGOL Bulletin

Experience with Charlotte: Simplicity and Function in a Distributed Operating System

IEEE Transactions on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

A simple technique is described that detects structural-type clashes across compilation units with an arbitrarily high degree of confidence. The type of each external object is described in canonical form. A hash function compresses the description into a short code. If the code is embedded in a symbol-table name, then consistency can be checked by an ordinary linker. For distributed programs, run-time checking of message types can be performed with very little overhead.