Skip to main content
Article thumbnail
Location of Repository

Inheriting and Modifying Behavior

By Neelam Soundarajan and Stephen Fridella

Abstract

In languages like C++, the mechanism of protected members is critical to making inheritance work. It allows access to some of the internals of a base class B to the designer of a derived class D, while denying it to clients of B. We develop a formal approach in which class behavior is precisely specified in terms of an abstract specification and a concrete specification, the former for use by a client, the latter containing information about how the protected members change, for use by a derived class designer. We present rules that allow us to establish that a class meets both specifications

Topics: Derived classes, Protected members, Abstract and Concrete specifications
Publisher: IEEE Computer Society Press
Year: 1997
OAI identifier: oai:CiteSeerX.psu:10.1.1.36.9177
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www.cis.ohio-state.edu/... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.