This brief note is an appendix to CMod: Modular Information Hiding and Type-Safe Linking for C (Srivastava et al., June 2007). It consists of the proof of soundness for the formal language presented in that paper.

[ .pdf ]

@TECHREPORT{srivastava07cmodjournaltr,
  AUTHOR = {Saurabh Srivastava and Michael Hicks and Jeffrey S. Foster},
  TITLE = {Appendix to {CMod}: Modular Information Hiding and Type-Safe Linking for {C}},
  INSTITUTION = {Department of Computer Science, University of Maryland},
  MONTH = JUN,
  YEAR = 2007,
  NUMBER = {CS-TR-4874}
}

Back