The Community for Technology Leaders
Green Image
<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>
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
R.A. Finkel, M.L. Scott, "A Simple Mechanism for Type Security Across Compilation Units", IEEE Transactions on Software Engineering, vol. 14, no. , pp. 1238-1239, August 1988, doi:10.1109/32.7631
80 ms
(Ver 3.3 (11022016))