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

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

This file was generated by bibtex2html 1.99.