DocumentCode
1505932
Title
A simple mechanism for type security across compilation units
Author
Scott, Michael L. ; Finkel, Raphael A.
Author_Institution
Dept. of Comput. Sci., Rochester Univ., NY, USA
Volume
14
Issue
8
fYear
1988
fDate
8/1/1988 12:00:00 AM
Firstpage
1238
Lastpage
1239
Abstract
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
Keywords
data structures; program compilers; compilation units; compilers; data structures; distributed programs; hash function; message types; ordinary linker; run-time checking; structural-type clashes; symbol-table name; type security; Computer science; File servers; Runtime; Scholarships;
fLanguage
English
Journal_Title
Software Engineering, IEEE Transactions on
Publisher
ieee
ISSN
0098-5589
Type
jour
DOI
10.1109/32.7631
Filename
7631
Link To Document