L. Liquori. On Object Extension. In Proc. of ECOOP, European Conference on Object Oriented Programming, volume 1445 of Lecture Notes in Computer Sciences, pages 498--552. Springer Verlag, 1998. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Foundations for MOBY Classes - Fisher, Reppy (1998) (Correct)
....serve as a back end to a number of different surface languages. Such internal languages can then be studied independently of the originating surface language. 6. 2 Object Calculi In the past ten years, there has been significant work designing object calculi and exploring their formal properties [AC96, Fis96, Liq98, BF98, RS99]. Although we have drawn on much of this work in the design of MOC, its intended role as an IL for MOBY precluded us from simply using one of the earlier calculi. In particular, we believe that modeling classes properly requires a calculus with support for extension, which eliminates the various ....
....form of object which supports extension and message sending, but only width subtyping. As a result of these choices, the MOC calculus fits most closely in the family of object calculi with two forms of object: an extensible form to support inheritance and a fixed form with rich object subtyping [Fis96, Liq98, BF98]. MOC differs from the work in Fisher s thesis [Fis96] and that described in Liquori s survey paper [Liq98] in having an imperative operational semantics, 19 which is crucial for modeling a surface language with imperative fields. Because of the imperative semantics, we felt the additional ....
[Article contains additional citation context not shown here]
Liquori, L. On object extension. In Proceedings of the 12th European Conference on ObjectOriented Programming, July 1998, pp. 499--522.
Bounded Polymorphism for Extensible Objects - Liquori (1999) (1 citation) Self-citation (Liquori) (Correct)
.... is the supertype of every type. We omit how to encode basic data types which can be treated as in [AC96a] The bound type variable t can (freely) occur in the i ; j s, and it is constrained to be covariant. As explained in many papers, among others [Cas95, Cas96, BCC 96, AC96a, Liq98] the covariance of selftype is necessary if we want to have a statically typed calculus with subtyping. As such, binary methods (i.e. methods that receive as input an argument of the same type of self) are lost. When a method m j (j 2 I) is invoked, the result will have a type j ftg in ....
L. Liquori. On Object Extension. In Proc. of ECOOP, volume 1445 of Lecture Notes in Computer Science, pages 498--552. Springer-Verlag, 1998.
Cv - Liquori Self-citation (Liquori) (Correct)
No context found.
L. Liquori. On Object Extension. In Proc. of ECOOP '98, European Conference on Object Oriented Programming, Brussels, Belgique, Lecture Notes in Computer Science 1445, pages 498-552, Springer-Verlag, 1998.
Extensible Objects: a Tutorial - Bono (Correct)
No context found.
L. Liquori. On Object Extension. In Proc. of ECOOP, European Conference on Object Oriented Programming, volume 1445 of Lecture Notes in Computer Sciences, pages 498--552. Springer Verlag, 1998.
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