High-Level Binding with Low-Level Linkers

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 run-time errors caused by inconsistent 
usages are forestalled by static errors detected at linking time.

CACM November, 1976

Hamlet, R. G.

separate compilation, binding, linking, strong typing

4.10 4.22

CA761108 JB January 3, 1978  2:44 PM

2815	5	2815
2815	5	2815
2815	5	2815