Loading...
Please wait, while we are loading the content...
Similar Documents
Enriching subclass specifications (1998).
| Content Provider | CiteSeerX |
|---|---|
| Author | Soundarajan, Neelam Fridella, Stephen |
| Abstract | The standard approach to reasoning about polymorphic (also called recursive or self) methods is in terms of method refinement. That is, if the correctness of a (polymorphic) method f of class B depends on certain properties of another method g of B, then in any subclass of B in which g is redefined, the designer must make sure that g continues to exhibit these properties. While this allows the designer of the derived class to avoid re-verification of f, it does not allow us to associate, in the derived class, richer behavior with the polymorphic function. We propose an approach that, by including somewhat more information in the specification of f, enables us to arrive, in the derived class, at a richer specification of the function while at the same time avoiding re-verification. The approach is illustrated on a simple example. |
| File Format | |
| Publisher Date | 1998-01-01 |
| Access Restriction | Open |
| Subject Keyword | Subclass Specification Derived Class Standard Approach Method Refinement Polymorphic Function Certain Property Simple Example |
| Content Type | Text |
