Appendix to CMod: Modular Information Hiding and Type-Safe Linking for C
Appendix to CMod: Modular Information Hiding and Type-Safe Linking for C
Loading...
Files
Publication or External Link
Date
2007-06-30
Authors
Srivastava, Saurabh
Hicks, Michael
Foster, Jeffrey S.
Advisor
Citation
DRUM DOI
Abstract
This brief note is an appendix to the paper "CMod: Modular Information
Hiding and Type-Safe Linking for C." It consists of the proof of
soundness for the formal language presented in that paper.