Modular information hiding and type-safe linking for C

Proceedings of the TLDI 2007: 2007 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation - Papers Presented at the Workshop

Volumn , Issue , 2007, Pages 3-13

  Srivastava, Saurabh ^a   Hicks, Michael ^a   Foster, Jeffrey S ^a  

^a UNIVERSITY OF MARYLAND   (United States)

Author keywords

C; Information hiding; Module systems; Type safety

Indexed keywords

COMPUTER SYSTEMS PROGRAMMING; ERROR ANALYSIS; INTERFACES (COMPUTER);

INFORMATION HIDING; MODULE SYSTEMS; TYPE SAFETY;

SECURITY OF DATA;

EID: 34548319589     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1190315.1190319     Document Type: Conference Paper

References (31)

1. A. Banerjee and D. A. Naumann. Representation independence, confinement and access control. POPL '02, pages 166-177, 2002.
2. L. Cannon, R. Elliott, L. Kirchoff, J. Miller, R. Mitze, E. Schan, N. Whittington, H. Spencer, D. Keppel, and M. Brader. Recommended C Style and Coding Standards, sixth edition, 1990.
3. COM: Component object model technologies, http://www. microsoft.com/com/default.mspx.
4. B. Cox and A. Novobilski. Object Oriented Programming: An Evolutionary Approach. Addison-Wesley, 1991.
5. Exhuberantctags. http://ctags.sourceforge.net/.
6. M. D. Ernst, G. J. Badros, and D. Notkin. An empirical analysis of C preprocessor use. IEEE Trans. on Software Engg., 28(12), 2002.
7. J.-M. Favre. CPP Denotational Semantics. In SCAM, 2003.
8. N. Glew and G. Morrisett. Type-safe linking and modular assembly language. In POPL, 1999.
9. D. R. Hanson. C Interfaces and Implementations: Techniques for Creating Reusable Software. Addison-Wesley, 1996.
10. Once-only headers - the C preprocessor, gcc on-line documentation, section 2.4, http://gcc.gnu.org/onlinedocs/gcc-4.l.l/ cpp/Once_002dOnly-Headers. html.
11. T. Jim, J. G. Morrisett, D. Grossman, M. W. Hicks, J. Cheney, and Y. Wang. Cyclone: A safe dialect of C. In USENIX Annual Technical Conference, 2002.
12. S. Johnson. Lint, a C program checker. Technical Report 65, Bell Labs, Murray Hill, N.J., Sept. 1977.
13. B. W. Kernighan and R. Pike. The Practice of Programming. Addison-Wesley Professional, 1999.
14. B. W. Kernighan and D. M. Ritchie. The C Programming Language. Prentice Hall, 2nd edition, 1988.
15. K. N. King. C Programming: A Modem Approach. W. W. Norton & Company, Inc., 1996.
16. B. McCloskey and E. Brewer. ASTEC: a new approach to refactoring C. In FSE, 2005.
17. S. McConnell. Code Complete. Microsoft Press, 1993.
18. J. C. Mitchell. Representation independence and data abstraction. POPL '86, pages 263-276, 1986.
19. R. Morris, E. Kohler, J. Jannotti, and M. F. Kaashoek. The Click modular router. In SOSP, 1999.
20. G. Morrisett. Personal communication, July 2006.
21. G. C. Necula, J. Condit, M. Harren, S. McPeak, and W. Weimer. CCured: Type-Safe Retrofitting of Legacy Software. TOPLAS, 27(3), May 2005.
22. G. C. Necula, S. McPeak, S. P. Rahul, and W. Weimer. CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs. In CC, pages 213-228, 2002.
23. D. L. Parnas. On the criteria to be used in decomposing systems into modules. Communications of the ACM, 15(12), 1972.
24. PC-lint/FlexeLint. http://www.gimpel.com/lintnifo.htm, 1999. Product of Gimpel Software.
25. B. C. Pierce, editor. Advanced Topics in Types and Programming Languages. MIT Press, 2005.
26. A. Reid, M. Flatt, L. Stoller, J. Lepreau, and E. Eide. Knit: Component composition for systems software. In OSDI, 2000.
27. J. C. Reynolds. Types, abstractions and parametric polymorphism. Information Processing 83, pages 513-523.
28. D. Spuler and A. Sajeev. Static detection, of preprocessor macro errors in C. Technical Report 92/7, James Cook University, Australia, '92.
29. S. Srivastava, M. Hicks, J. S. Foster, and B. Kanagal. Defining and Enforcing C's Module System. Technical Report CS-TR-4816, University of Maryland, College Park, 2006.
30. W. P. Stevens, G. J. Myers, and L. L. Constantine. Structured design. IBM Systems Journal, 13(2): 115-139, 1974.
31. R. van Ommering, F. van der Linden, J. Kramer, and J. Magee. The Koala component model for consumer electronics software. IEEE Software, 2000.