@article {14663, title = {Appendix to CMod: Modular Information Hiding and Type-Safe Linking for C}, journal = {Technical Reports of the Computer Science Department}, year = {2007}, month = {2007/06/30/undef}, 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.}, author = {Srivastava,S. and Hicks, Michael W. and Foster, Jeffrey S.} }