Appendix to CMod: Modular Information Hiding and Type-Safe Linking for C
Appendix to CMod: Modular Information Hiding and Type-Safe Linking for C
Loading...
Files
Publication or External Link
Date
2007-06-30
Advisor
Citation
DRUM DOI
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.