The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.08 - August (1988 vol.14)
pp: 1238-1239
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
M.L. Scott, "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
25 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool