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

Loading...
Thumbnail Image

Files

CS-TR-4874.pdf (297.21 KB)
No. of downloads: 215

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.

Notes

Rights