N. Soundarajan and S. Fridella. Reasoning about polymorphic behavior. In Ege, Singh, Meyer, Riehle, and Mitchell, editors, Proceedings of TOOLS 26, pages 346-358. IEEE Computer Society Press, 1998. @ NUS Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Research Summary - The Goal Of (Correct)
....that is, without having to repeat or recheck reasoning they have already performed about the old behavior. Current approaches (e.g. 1] focus on guaranteeing that the previous behavior of the client programs is preserved, and neglect the key issue of reasoning about the enriched behavior. In [6] we introduce a reasoning approach which allows client programmers to focus on analyzing the enriched behaviors exhibited by their programs when derived class instances are introduced. This approach improves on existing methods since it allows client programmers to be sure that introducing derived ....
N. Soundarajan and S. Fridella. Reasoning about polymorphic behavior. In Ege, Singh, Meyer, Riehle, and Mitchell, editors, Proceedings of TOOLS 26, pages 346-358. IEEE Computer Society Press, 1998.
Behavioral Subtyping and Behavioral Enrichment of Multimethods - Soundarajan, Fridella (2000) Self-citation (Soundarajan Fridella) (Correct)
.... = r.GetLength( p.Noise( r.MaxNoise( g g Figure 2. Two versions of multimethod Safe and an array of runways, FindRunway returns the index of the rst suitable runway that the plane can land on, or 1 if no such runway exists. method FindRunway ( p:Plane, rs:Runway[10] ) f for (int i = 0; i 10; i ) f if ( p, rs[i] Safe( f return i; g g return 1; g Figure 3. Client code: FindRunway Let us now consider reasoning. Consider the following speci cations for the two Safe routines. We will use the subscript R; P to denote the method de ned in the tuple ....
....our work to allow for aliasing among objects. Standard work on reasoning about program behavior has generally, as we have done, ignored aliasing issues. But in OO, this is not a reasonable approach since aliasing seems to be used in fundamental ways in OO systems. We have developed an approach [10] that works in simple cases, but it does seem very detailed and tedious. More useful would be approaches that perhaps exploit speci c aliasing patterns to make the reasoning task easier. ....
N. Soundarajan and S. Fridella. Reasoning about polymorphic behavior. In Ege, Singh, Meyer, Riehle, and Mitchell, editors, Proceedings of TOOLS 26, pages 346-358. IEEE Computer Society Press, 1998.
Behavioral Subtyping and Behavioral Enrichment of Multimethods - Soundarajan, Fridella (2000) Self-citation (Soundarajan Fridella) (Correct)
....our work to allow for aliasing among objects. Standard work on reasoning about program behavior has generally, as we have done, ignored aliasing issues. But in OO, this is not a reasonable approach since aliasing seems to be used in fundamental ways in OO systems. We have developed an approach [9] that works in simple cases, but it does seem very detailed and tedious. More useful would be approaches that perhaps exploit speci c aliasing patterns to make the reasoning task easier. ....
N. Soundarajan and S. Fridella. Reasoning about polymorphic behavior. In Ege, Singh, Meyer, Riehle, and Mitchell, editors, Proceedings of TOOLS 26, pages 346-358. IEEE Computer Society Press, 1998.
Enriching Subclass Specifications - Soundarajan, Fridella (1998) Self-citation (Soundarajan Fridella) (Correct)
....such usage of polymorphism also raises specification and verification questions; these are somewhat different from the ones raised by the use of polymorphism in classes which is the focus of the current paper. For a possible approach to dealing with client code use of polymorphism, see [8]. 2 Class Specifications In section 2.1 we will consider how a base class B with different types of methods (virtual, polymorphic, as well as normal , i.e. neither virtual nor polymorphic) may be specified. The most interesting of these will of course be the polymorphic functions and we will ....
N. Soundarajan and S. Fridella. Reasoning about polymorphic behavior. In TOOLS 98 (submitted), 1998.
Online articles have much greater impact More about CiteSeer.IST at NUS Add search form to your site Submit documents Feedback
CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.