The Community for Technology Leaders
Green Image
ABSTRACT
<p>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.</p>
INDEX TERMS
compilers; data structures; type security; compilation units; structural-type clashes; hash function; symbol-table name; ordinary linker; distributed programs; run-time checking; message types; data structures; program compilers
CITATION

R. Finkel and M. Scott, "A Simple Mechanism for Type Security Across Compilation Units," in IEEE Transactions on Software Engineering, vol. 14, no. , pp. 1238-1239, 1988.
doi:10.1109/32.7631
91 ms
(Ver 3.3 (11022016))