The Community for Technology Leaders
RSS Icon
Issue No.08 - August (1988 vol.14)
pp: 1238-1239
<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
M.L. Scott, R.A. Finkel, "A Simple Mechanism for Type Security Across Compilation Units", IEEE Transactions on Software Engineering, vol.14, no. 8, pp. 1238-1239, August 1988, doi:10.1109/32.7631
32 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool