Appendix to CMod: Modular Information Hiding and Type-Safe Linking for C

Appendix to CMod: Modular Information Hiding and Type-Safe Linking for C
Saurabh Srivastava, Michael Hicks, and Jeffrey S. Foster
Computer Science Division Tech Report CS-TR-4874. University of Maryland, College Park. July, 2007.

This brief note is an appendix to 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.

[ pdf ]