(Enter summary)
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... (Update)
Context of citations to this paper: More
...and to decouple subtyping from inheritance. For historical reasons, the interface construct in this C extension is termed a signature [BR94, GR91] The remainder of this chapter is structured as follows. First, we discuss syntax and semantics of the language extension and...
...and its associated stub generation tools to Choices choosing instead to implement interfaces programmatically. 1 Baumgartner and Russo[1] report that exporting abstract superclasses make it hard to retroactively change or introduce superclasses. Our experience with modifying...
Cited by: More
The Performance of a Distributed System Using.. - Muckelbauer, Russo
(Correct)
HPGP: High-Performance Generic Programming for Computational.. - Hong, Schreiner (1997)
(Correct)
Signatures: A C++ Extension for Type Abstraction and Subtype.. - Baumgartner (1994)
(Correct)
Similar documents (at the sentence level):
46.6%: Implementing Signatures for C++ - Baumgartner, Russo (1995)
(Correct)
14.0%: Modularization Constructs For Functional And Object-Oriented.. - Baumgartner (1996)
(Correct)
12.9%: GERALD BAUMGARTNER and VINCENT F. RUSSO - Purdue University We
(Correct)
Active bibliography (related documents): More All
1.0: Signatures: A Language Extension for Improving Type.. - Baumgartner, Russo (1995)
(Correct)
0.9: Module Constructs for Object-Oriented and Functional.. - Baumgartner (1993)
(Correct)
0.5: A Proposal to Study Type Systems for Computer Algebra - Baumgartner, Stansifer (1990)
(Correct)
Similar documents based on text: More All
0.3: Safe Structural Conformance for Java - Läufer, Baumgartner, Russo (1998)
(Correct)
0.2: Type Abstraction Rules for References: A Comparison of Four.. - O'Toole, Jr.
(Correct)
0.2: Proceedings of the MSPLS Spring '98 Workshop - Baumgartner, Läufer (1998)
(Correct)
Related documents from co-citation: More All
5: Signature-based polymorphism for C (context) - Granston, Russo - 1991
3: The Scratchpad II Type System: Domains and Subdomains (context) - Watt, Jenks et al. - 1987
3: The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
BibTeX entry: (Update)
Gerald Baumgartner and Vincent F. Russo. "Implementing Signatures for C++". In Proceedings of the USENIX C++ Conference, 1994. http://citeseer.ist.psu.edu/baumgartner94implementing.html More
@article{ baumgartner97implementing,
author = "Gerald Baumgartner and Vincent F. Russo",
title = "Implementing Signatures for {C}++",
journal = "ACM Transactions on Programming Languages and Systems",
volume = "19",
number = "1",
month = "January",
publisher = "ACM Press",
pages = "153--187",
year = "1997",
url = "citeseer.ist.psu.edu/baumgartner94implementing.html" }
Citations (may not include all citations):
257
Smalltalk-80: The Language and Its Implementation (context) - Goldberg, Robson - 1983
183
Report on the programming Language Haskell: A non-strict, pu.. (context) - Hudak - 1992
176
Ellis and Bjarne Stroustrup (context) - Margaret - 1990
175
Inheritance is not subtyping (context) - Cook, Hill et al. - 1990
148
Object structure in the Emerald system (context) - Black, Hutchinson et al. - 1986
92
An introduction to Trellis/Owl (context) - Schaffert - 1986
89
A parallel object-oriented language with inheritance and sub.. (context) - America, van der Linden - 1990
74
Encapsulation and inheritance in object-oriented programming..
- Snyder - 1986
60
AXIOM: The Scientific Computation System (context) - Jenks, Sutor - 1992
40
An exemplar based Smalltalk (context) - LaLonde, Thomas et al. - 1986
35
Modules for Standard ML
- MacQueen - 1985
26
An implementation of Standard ML modules
- MacQueen - 1988
23
Interfaces and specifications for the Smalltalk-80 collectio.. (context) - Cook - 1992
12
The type inference and coercion facilities in the Scratchpad.. (context) - Sutor, Jenks - 1987
12
The Scratchpad II Type System: Domains and Subdomains (context) - Watt, Jenks et al. - 1990
12
An object-oriented approach to algebra system design (context) - Abdali, Cherry et al. - 1986
10
A Proposal to Study Type Systems for Computer Algebra
- Baumgartner, Stansifer - 1990
10
Modula-3 Language Definition (context) - Cardelli, Donahue et al. - 1992
10
Signature-based polymorphism for C (context) - Granston, Russo - 1991
9
Data types are values (context) - Donahue, Demers - 1985
8
Technical Report CSL (context) - Goguen, Winkler - 1988
8
Extension for Type Abstraction and Subtype Polymorphism (context) - Baumgartner, Russo - 1994
5
Germany: Springer Verlag (context) - Wirth, Modula- et al. - 1985
4
A Smalltalk system for algebraic manipulation (context) - Abdali, Cherry et al. - 1986
4
Massachusetts: Free Software Foundation (context) - Stallman, Porting et al. - 1992
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.purdue.edu/~russo/):
Lingua Franca: An IDL for Structural Subtyping.. - Patrick A..
(Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC