Publications tagged "modules"

Journal, Conference, and Workshop Papers

2008

Modular Information Hiding and Type-Safe Linking for C
Saurabh Srivastava, Michael Hicks, Jeffrey S. Foster, and Patrick Jenkins
IEEE Transactions on Software Engineering (TSE), 34(3):357–376, May/June 2008.
tags: analysis, modules, types
[ bibtex | doi ]

2007

Modular Information Hiding and Type-Safe Linking for C
Saurabh Srivastava, Michael Hicks, and Jeffrey S. Foster
In ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI), pages 3–14, Nice, France, January 2007.
tags: analysis, modules, types
[ bibtex | doi ]

Technical Reports

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, Computer Science Department, University of Maryland, College Park, July 2007.
tags: analysis, modules, types
[ bibtex ]

Defining and Enforcing C's Module System
Saurabh Srivastava, Michael Hicks, Jeffrey S. Foster, and Bhargab Kanagal
Technical Report CS-TR-4816, Computer Science Department, University of Maryland, College Park, July 2006.
tags: analysis, modules, types
[ bibtex ]