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

TitleAppendix to CMod: Modular Information Hiding and Type-Safe Linking for C
Publication TypeJournal Articles
Year of Publication2007
AuthorsSrivastava S, Hicks MW, Foster JS
JournalTechnical Reports of the Computer Science Department
Date Published2007/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.