Gerald Baumgartner, Vincent F. Russo  Home/Search
Context Related
| ohiostate.edu/~gb...aturedesign.ps.gz ohiostate.edu/~gb...ignatureDesign.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ohiostate.edu/~gb/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: C++ uses inheritance as a substitute for subtype polymorphism. We give examples where this makes the type system too inflexible. We then describe a conservative language extension that allows a programmer to define an abstract type hierarchy independent of any implementation hierarchies, to retroactively abstract over an implementation, and to decouple subtyping from inheritance. This extension gives the user more of the flexibility of dynamic typing while retaining the efficiency and security... (Update)
Cited by: More
Concepts: Linguistic Support for Generic Programming in C++ - Douglas Gregor Dgregor (Correct)
Concept Checking: Binding Parametric Polymorphism in C++ - Siek, Lumsdaine (2000) (Correct)
Towards an Operational Semantics and Proof of Type.. - Drossopoulou, Eisenbach (1998) (Correct)
Similar documents (at the sentence level):
64.6%: Signatures: A C++ Extension for Type Abstraction and Subtype.. - Baumgartner (1994) (Correct)
9.5%: Modularization Constructs For Functional And Object-Oriented.. - Baumgartner (1996) (Correct)
Active bibliography (related documents): More All
1.1: Signatures: A Language Extension for Improving Type.. - Baumgartner, Russo (1995) (Correct)
0.7: Implementing Signatures for C++ - Baumgartner, Russo (1994) (Correct)
0.5: Abstraction of Formal Specifications from Program Code - Cheng, Gannod (1990) (Correct)
Similar documents based on text: More All
0.4: GERALD BAUMGARTNER and VINCENT F. RUSSO - Purdue University We (Correct)
0.3: Safe Structural Conformance for Java - Läufer, Baumgartner, Russo (1998) (Correct)
0.2: Proceedings of the MSPLS Spring '98 Workshop - Baumgartner, Läufer (1998) (Correct)
Related documents from co-citation: More All
11: Inheritance is not Subtyping (context) - Cook, Hill et al. - 1990
8: A proposal for making eiffel type safe - Cook - 1989
8: Type-safe compilation of covariant specialization: a practical case (context) - Boyland, Castagna - 1996
BibTeX entry: (Update)
Gerald Baumgartner and Vincent F. Russo. Signatures: A language extension for improving type abstraction and subtype polymorphism in C++. Software--Practice & Experience, 25(8):863--889, August 1995. http://citeseer.ist.psu.edu/article/baumgartner95signature.html More
@article{ baumgartner95signatures,
author = "Gerald Baumgartner and Vincent F. Russo",
title = "Signatures: A Language Extension for Improving Type Abstraction and Subtype Polymorphism in {C++}",
journal = "Software--Practice \& Experience",
volume = "25",
number = "8",
month = "Aug",
pages = "863-889",
year = "1995",
url = "citeseer.ist.psu.edu/article/baumgartner95signature.html" }
Citations (may not include all citations):384 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
296 Free Software Foundation (context) - Stallman, Porting - 1995
257 Smalltalk-80: The Language and Its Implementation (context) - Goldberg, Robson - 1983
176 Ellis and Bjarne Stroustrup (context) - Margaret - 1990
175 Inheritance is not subtyping (context) - Cook, Hill et al. - 1990
163 Commentary on Standard ML (context) - Milner, Tofte - 1991
129 ACM Transactions on Programming Languages and Systems (context) - Amadio, Cardelli et al. - 1993
128 On understanding types (context) - Cardelli, Wegner - 1985
74 Encapsulation and inheritance in object-oriented programming.. - Snyder - 1986
60 AXIOM: The Scientific Computation System (context) - Jenks, Sutor - 1992
60 ACM Transactions on Programming Languages and Systems (context) - Donahue, Demers et al. - 1985
40 An exemplar based Smalltalk (context) - LaLonde, Thomas et al. - 1986
37 Interfaces and specifications for the Smalltalk-80 collectio.. - Cook - 1992
35 Modules for Standard ML - MacQueen - 1985
30 Texts and Monographs in Computer Science (context) - Wirth, Modula- - 1985
28 Multiple inheritance for C - Stroustrup - 1987
26 An implementation of Standard ML modules - MacQueen - 1988
25 Modula-3 language definition (context) - Cardelli, Donahue et al. - 1992
13 Parameterized types for C (context) - Stroustrup - 1988
12 Run-time type identification for C (context) - Stroustrup, Lenkov - 1992
12 The type inference and coercion facilities in the Scratchpad.. (context) - Sutor, Jenks - 1987
12 An object-oriented approach to algebra system design (context) - Abdali, Cherry et al. - 1986
12 The Scratchpad II type system: Domains and subdomains (context) - Watt, Jenks et al. - 1990
10 A proposal to study type systems for computer algebra - Baumgartner, Stansifer - 1990
10 Signature-based polymorphism for C (context) - Granston, Russo - 1991
9 Programming in ADA (context) - Presslie - 1982
8 Technical Report CSL (context) - Goguen, Winkler - 1988
3 ACM Transactions on Programming Languages and Systems (context) - Katzenelson, Pinter et al. - 1992
2 Department of Computer Sciences (context) - Baumgartner, Russo et al. - 1995
2 Type abstration using signatures (context) - Baumgartner
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cis.ohio-state.edu/~gb/): More
On the Interaction of Object-Oriented Design Patterns.. - Baumgartner, Läufer.. (1996) (Correct)
Safe Structural Conformance for Java - Läufer, Baumgartner, Russo (1998) (Correct)
Unknown - (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