Check out the new USENIX Web site.

Implementing Signatures for C++


Gerald Baumgartner and Vincent F. Russo
Department of Computer Sciences
Purdue University
West Lafayette, IN 47907
gb@cs.purdue.edu & russo@cs.purdue.edu

Abstract

In this paper we overview the design and implementation of a language extension to C++ for abstracting types and for decoupling subtyping and inheritance. This extension gives the user more of the flexibility of dynamic typing while retaining the efficiency and security of static typing. We discuss the syntax and semantics of this language extension, show examples of its use, and present and analyze the cost of three different implementation techniques: a preprocessor to a C++ compiler, an implementation in the front end of a C++ compiler, and a low-level back-end based implementation.


Download the full text of this paper in ASCII (63,926 bytes) and POSTSCRIPT (207,692 bytes) form.

To Become a USENIX Member, please see our Membership Information.