High-level binding with low-level linkers

Authors:
Richard G. Hamlet
Affiliations:
Univ. of Maryland, College Park
Venue:
Communications of the ACM
Year:
1976

Citing 0
Cited 4

A Simple Mechanism for Type Security Across Compilation Units

IEEE Transactions on Software Engineering
A type-checking program linkage system for pascal

ICSE '78 Proceedings of the 3rd international conference on Software engineering
An efficient separate compilation strategy for very large programs

SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
Efficient implementation and optimization of run-time checking in PASCAL

Proceedings of an ACM conference on Language design for reliable software

Quantified Score

Hi-index	48.22

Visualization

Abstract

An easy to implement scheme is described by which a compiler can enforce agreement between complex data types in separately compiled modules. The scheme is designed to work with any existing link editor or linking loader, no matter how deficient. Obscure runtime errors caused by inconsistent usages are forestalled by static errors detected at linking time.