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

Srivastava, Saurabh; Hicks, Michael; Foster, Jeffrey S.

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

Files

CS-TR-4874.pdf(297.21 KB)

No. of downloads: 163

Date

2007-06-30

Authors

Srivastava, Saurabh

Hicks, Michael

Foster, Jeffrey S.

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.

URI (handle)

http://hdl.handle.net/1903/10111

Collections

Technical Reports of the Computer Science Department

Full item page

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

Files

Publication or External Link

Date

Authors

Advisor

Citation

DRUM DOI

Abstract

Notes

URI (handle)

Rights

Collections