@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.}
}
