Bruce, K. B., et al.: "On Binary Methods", Theory and Practice of Object Systems, 1:3, S. 221-242, 1995. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Late-bound Pragmatical Class Methods - Schmolitzky, Evered, Keedy, Menger (Correct)
....simple language mechanism to overcome this drawback. This mechanism can easily be adopted by languages that offer statically bound class methods. We further give the semantics of this extension as a mapping onto an object model without class methods. 1 Introduction A binary method, as defined in [Bru95], is an instance method of some object of type t that has a parameter of the same type t. Binary methods are (still) one of the challenges for designers of object oriented programming languages as is well discussed in that paper. They can be seen as a focus demonstrating the difficulty of ....
Bruce, K. B., et al.: "On Binary Methods", Theory and Practice of Object Systems, 1:3, S. 221-242, 1995.
Formal Analysis of Type rules and Semantics - Seligman (1995) (Correct)
....languages. Such formal techniques would then facilitate important developments in the understanding of object oriented languages, such as the realization that subtyping and inheritance are distinct, as presented in [CHC90] Bruce s work, in the papers [BL90] BM92] BCD 93] Bru93] Bru94] and [BSvG94] among others) has furthered the theoretical development of programming languages and strengthened the connection between formal analysis of the object oriented features of a language and the development of a high level conceptual model of the language. Abadi s analysis of the ....
Kim Bruce. Binary methods, subsumption, and matching. December 1994.
Collection Types and Implementations in.. - Menger, Keedy.. (1998) (1 citation) (Correct)
....are sometimes provided as calls (known as binary methods) on a specific instance, with one or more further collections being passed as parameters. Because Eiffel is strongly typed, supports polymorphism and allows covariant changes of parameter types it can create the difficulties described in [7, 8]. On the other hand some operations which one would expect to find are not provided at all for many collection types (e.g. intersection) In other cases only limited operations are provided. For example there is an operation for checking whether collections are identical but not for checking ....
....arbitrarily select one of the instances as the object to which the method is bound, while the other object(s) is (are) passed as explicit arguments. The problems created by such binary methods for strongly typed object oriented languages with respect to inheritance and polymorphism are wellknown [1, 7]. The essence of the problem is that the definition of n ary operations (i.e. operations such as compare and merge on n objects of the type) as binary methods, with one of the arguments treated as the bound instance object, leads to the dynamic selection of the most specialized method associated ....
K. Bruce, L. Cardelli, G. Castagna, The Hopkins Objects Group, G. T. Leavens and B. Pierce "On Binary Methods", Theory and Practice of Object Systems, 1, 3, pp. 221-242, 1995.
Very High Level Programming with Collection Components - Evered, Menger (Correct)
....can lead to an enormous range of collection types as can be seen in the Eiffel library. If some possibilities are excluded to make the library easier to understand, then the very type needed for a particular application may be missing. A final problem area is the handling of binary methods [4] such as copy , merge or equals in a clear, consistent and symmetrical way. 2.2 The JDK 2 collection framework Through interface types Java offers the possibility of defining collection types and a collection type hierarchy which are independent of implementations and code reuse. The ....
K. Bruce, L. Cardelli, G. Castagna, The Hopkins Objects Group, G. T. Leavens and B. Pierce "On Binary Methods", Theory and Practice of Object Systems, 1, 3, pp. 221-242, 1995.
Unconstraining Genericity - Evered (1997) (Correct)
....(or like current in Eiffel) which adapts to the class by which it is inherited. Since Mytype is then used as a parameter type, however, it is a covariant type and can therefore lead to run time type errors (or the necessity for link time checks) in connection with inclusion polymorphism [Bru95]. 3.3 The Solutions Supertyping and structural subtyping The first problem can be solved by a mechanism which allows supertypes to be defined after their subtypes without the subtype definition being changed [Ped89] For example, the definitions: class Emp Info boolean before(Emp Info ....
K. B. Bruce, et al.: "On Binary Methods", Theory and Practice of Object Systems, Vol. 1:3, pp. 221-242, 1995.
Success Factors And Future Challenges For The Development Of.. - Prasse, Rittgen (2000) (Correct)
No context found.
Bruce, Kim B.; Cardelli, Luca; Castagna, Guiseppe; Eifrig, Jonathan; Leavens, Gary T.; Pierce, Benjamin; Smith, Scott; Trifonov, Valery "On Binary Methods " in Theory and Practice of Object Systems. vol. 1. no. 3. pp. 221-242. 1995.
Extension Polymorphism - Balasubramaniam (Correct)
No context found.
Bruce, K.B., Cardelli, L., Castagna, G., The Hopkins Object Group, Leavens, G.T. & Pierce, B. "On Binary Methods". Theory and Practice of Object Systems 1 (1995).
Genja - A New Proposal for Parameterised Types in Java - Evered, Keedy, Menger.. (1997) (1 citation) (Correct)
No context found.
K. B. Bruce, et al.: "On Binary Methods", Theory and Practice of Object Systems, Vol. 1:3, pp. 221-242, 1995.
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