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

dc.contributor.authorSrivastava, Saurabh
dc.contributor.authorHicks, Michael
dc.contributor.authorFoster, Jeffrey S.
dc.date.accessioned2010-05-29T20:53:11Z
dc.date.available2010-05-29T20:53:11Z
dc.date.issued2007-06-30
dc.description.abstractThis 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.en_US
dc.identifier.urihttp://hdl.handle.net/1903/10111
dc.language.isoen_USen_US
dc.relation.ispartofseriesUM Computer Science Department;CS-TR-4874
dc.titleAppendix to CMod: Modular Information Hiding and Type-Safe Linking for Cen_US
dc.typeTechnical Reporten_US

Files

Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
CS-TR-4874.pdf
Size:
297.21 KB
Format:
Adobe Portable Document Format
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.8 KB
Format:
Item-specific license agreed upon to submission
Description: