S. Drossopoulou, F. Damiani, M. Dezani-Ciancaglini, and P. Giannini. Fickle: Dynamic Object Re-classification. In Knudsen [13], pages 130--149. ISBN 3-540-42206-4. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Dynamic Object Replacement and Implementation-Only Classes - Costanza (2001) (3 citations) (Correct)
....be determined by choosing from different comparison operators methods varies from language to language. A thorough examination of this issue is given in [9] 8 Newer approaches that head for subtractive object replacement, and modify the type system for this purpose in a similar way, are Fickle [7] and Wide Classes [17] However, these approaches still do not allow for declaration of classes that must not be used as types. 6 Conclusions and Future Work We have designed the programming language GILGUL, a compatible extension to Java. It introduces the pseudoclass Comparand and the ....
S. Drossopoulou, F. Damiani, M. Dezani, and P. Giannini. Fickle: Dynamic Object Reclassification. in: ECOOP 2001. Proceedings, Springer.
Simple Dependent Types: Concord - Paul Jolly Sophia (2004) Self-citation (Drossopoulou) (Correct)
No context found.
S. Drossopoulou, F. Damiani, M. Dezani-Ciancaglini, and P. Giannini. Fickle: Dynamic Object Re-classification. In Knudsen [13], pages 130--149. ISBN 3-540-42206-4.
Chai: Traits for Java-like Languages - Smith, Drossopoulou (2005) Self-citation (Drossopoulou) (Correct)
No context found.
S. Drossopoulou, F. Damiani, M. Dezani-Ciancaglini, and P. Giannini. Fickle: Dynamic object re-classification. In ECOOP'01, LNCS 2072, pages 130--149. Springer, 2001.
A Provenly Correct Translation of Fickle into Java - Ancona, Anderson, Damiani.. (2003) Self-citation (Drossopoulou Damiani Giannini) (Correct)
No context found.
S. Drossopoulou, F. Damiani, M. Dezani-Ciancaglini, and P. Giannini. Fickle: Dynamic object re-classification. In ECOOP'01, LNCS. Springer, 2001. To appear. A preliminary version is available in: Electronic proceedings of FOOL8 (http://www.cs.williams.edu/ kim/FOOL/).
A Provenly Correct Translation of Fickle into Java - Ancona, Anderson, Damiani.. (2003) Self-citation (Drossopoulou Damiani Giannini) (Correct)
No context found.
S. Drossopoulou, F. Damiani, M. Dezani-Ciancaglini, and P. Giannini. Fickle: Dynamic object re-classification. In Electronic proceedings of FOOL8 (http://www.cs.williams.edu/ kim/FOOL/), 2001.
Three Case Studies in Fickle ii - Drossopoulou (2002) Self-citation (Drossopoulou) (Correct)
....if evaluation of expr does not return an object of a (sub)class of A. Last, we use type casts, which are a straightforward extension of TOPLAS Fickle ii . Implicit access to the receiver s fields or methods allow fieldname and methName as shorthands for this.fieldname and this.methName; in [2,3] the shorthand was not supported. Finally, constructors are a shorthand combining the creation of an object with its initialisation. The above entensions were not incorporated into [2,3] in order to keep a succinct presentation, but should be straightforward to incorporate. Some of these will be ....
....fields or methods allow fieldname and methName as shorthands for this.fieldname and this.methName; in [2,3] the shorthand was not supported. Finally, constructors are a shorthand combining the creation of an object with its initialisation. The above entensions were not incorporated into [2,3] in order to keep a succinct presentation, but should be straightforward to incorporate. Some of these will be studied in [4] 1st Example: Accounts We consider accounts, which may be privileged accounts, or normal accounts. Privileged accounts receive double the interest rate. An account needs ....
Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani, Paola Giannini, "Fickle Dynamic Object Reclassification", ECOOP 2001
An Imperative Object Based Calculus With Delegation - Anderson, Drossopoulou Self-citation (Drossopoulou) (Correct)
....delegation Delegation can be used to model radical change of behaviour; for example, we can turn a current account into a savings account by simply changing which object it delegates to. This has already been suggested in a class based setting in [10] where objects change delegates, and also in [5] where objects change class. However, in both above approaches the evolution is in some sense anticipated, because the class of the new delegate in [10] and the new class of the object in [5] are part of the program, and thus need to have been anticipated. In an object based setting, delegation ....
....has already been suggested in a class based setting in [10] where objects change delegates, and also in [5] where objects change class. However, in both above approaches the evolution is in some sense anticipated, because the class of the new delegate in [10] and the new class of the object in [5], are part of the program, and thus need to have been anticipated. In an object based setting, delegation supports more forms of software evolution, i.e. change of behaviour for a group of objects, and unanticipated change of behaviour. Changes of behaviour for a group of objects can be ....
S. Drossopoulou, F. Damiani, M. Dezani-Ciancaglini, and P. Giannini. Fickle: Dynamic object re-classification. In ECOOP'01, LNCS 2072, pages 130--149. Springer, 2001.
On Modular Pluggable Analyses Using Set Interfaces - Lam, Kuncak, Rinard (2003) (Correct)
No context found.
S. Drossopoulou, F. Damiani, M. Dezani-Ciancaglini, and P. Giannini. Fickle: Dynamic object re-classification. In Proc. 15th ECOOP, LNCS 2072, pages 130--149. Springer, 2001.
Refined Effects for Unanticipated Object.. - Damiani.. (2003) (Correct)
No context found.
S. Drossopoulou, F. Damiani, M. Dezani-Ciancaglini, and P. Giannini. Fickle: Dynamic Object Re-classification. In ECOOP'01, volume 2072 of LNCS, pages 130--149, Berlin, 2001. Springer. A shorter version is available in: Electronic proceedings of FOOL8 (http://www.cs.williams.edu/#kim/FOOL/).
Modular Pluggable Analyses for Data Structure Consistency - Kuncak, Lam, Zee, Rinard (Correct)
No context found.
S. Drossopoulou, F. Damiani, M. Dezani-Ciancaglini, and P. Giannini. Fickle: Dynamic object re-classification. In Proc. 15th ECOOP, LNCS 2072, pages 130--149. Springer, 2001.
Formal Models for Aspect-Oriented Software Development - Skipper (2004) (Correct)
No context found.
S. Drossopoulou, D. F, M. Dezani-Ciancaglini, and P. Giannini. Fickle: Dynamic object re-classification. In ECOOP'01, LNCS 2072.
On Modular Pluggable Analyses Using Set Interfaces - Lam, Kuncak, Rinard (2003) (Correct)
No context found.
S. Drossopoulou, F. Damiani, M. Dezani-Ciancaglini, and P. Giannini. Fickle: Dynamic object re-classification. In Proc. 15th ECOOP, LNCS 2072, pages 130--149. Springer, 2001.
Object Shadowing - a Key Concept for a - Modern Programming Language (Correct)
No context found.
S. Drossopoulou, F. Damiani, M. Dezani-Ciancaglini and P. Giannini. Fickle: Dynamic object re-classification, in: ECOOP'01, LNCS 2072 (2001), pp. 130--149.
Refined Effects for Unanticipated Object.. - Damiani.. (2003) (Correct)
No context found.
S. Drossopoulou, F. Damiani, M. Dezani-Ciancaglini, and P. Giannini. Fickle: Dynamic Object Re-classification. In ECOOP'01, volume 2072 of LNCS, pages 130--149, Berlin, 2001. Springer. A shorter version is available in: Electronic proceedings of FOOL8 (http://www.cs.williams.edu/#kim/FOOL/).
Re-classification and Multi-threading: Fickle_MT - Damiani, Dezani-Ciancaglini, .. (Correct)
No context found.
S. Drossopoulou, F. Damiani, M. Dezani-Ciancaglini, and P. Giannini. Fickle: Dynamic Object Re-classification. In J. L. Knudsen, editor, ECOOP'01, volume 2072.
Lazy Modular Upgrades in Persistent Object Stores - Boyapati, Liskov, Shrira.. (2003) (3 citations) (Correct)
No context found.
S. Drossopoulou, F. Damiani, M. Dezani-Ciancaglini, and P. Giannini. Fickle : Dynamic object re-classification. In ECOOP, 2001.
SafeJava: A Unified Type System for Safe Programming - Boyapati (2004) (2 citations) (Correct)
No context found.
Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, and Paola Giannini. Fickle : Dynamic object re-classification. In ECOOP, 2001.
Dynamic Object Replacement and Implementation-Only Classes - Pascal Costanza University (2001) (3 citations) (Correct)
No context found.
S. Drossopoulou, F. Damiani, M. Dezani, and P. Giannini. Fickle: Dynamic Object Reclassification. to appear in ECOOP 2001. Proceedings.
On Modular Pluggable Analyses Using Set Interfaces - Lam, Kuncak, Rinard (2003) (Correct)
No context found.
S. Drossopoulou, F. Damiani, M. Dezani-Ciancaglini, and P. Giannini. Fickle: Dynamic object re-classification. In Proc. 15th ECOOP, LNCS 2072, pages 130--149. Springer, 2001.
Existential Heap Abstraction Entailment is Undecidable - Kuncak, Rinard (2003) (1 citation) (Correct)
No context found.
S. Drossopoulou, F. Damiani, M. Dezani-Ciancaglini, and P. Giannini. Fickle: Dynamic object re-classification. In Proc. 15th European Conference on Object-Oriented Programming, LNCS 2072, pages 130--149. Springer, 2001.
Bringing together Description Logics and Databases in an.. - Roger, Simonet, Simonet (Correct)
No context found.
Sophia Drossopoulou, Ferruccio Damani, Mariangiola DezaniCiancaglini and Paola Giannini, Fickle: Dynamic Object Re-classification, ECOOP 2001.
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