More dynamic object reclassification: FickleII

ACM Transactions on Programming Languages and Systems

Volumn 24, Issue 2, 2002, Pages 153-191

  Drossopoulou, Sophia ^a   Damiani, Ferruccio ^b   Dezani Ciancaglini, Mariangiola ^b   Giannini, Paola ^c  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

^b UNIVERSITY OF TURIN   (Italy)

^c UNIVERSITY OF EASTERN PIEDMONT   (Italy)

Author keywords

Object oriented languages; Type and effect systems

Indexed keywords

COMPUTER SCIENCE; OBJECT ORIENTED PROGRAMMING; SEMANTICS; STUDENTS;

OBJECT RECLASSIFICATION; OPERATIONAL SEMANTICS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0346902063     PISSN: 01640925     EISSN: None     Source Type: Journal    
DOI: 10.1145/514952.514955     Document Type: Article

References (41)

1. ABADI, M. AND CARDELLI, L. 1996. A Theory of Objects. Springer, Berlin.
2. AGESEN, O., BAK, L., CHAMBERS, C., CHANG, B., HÖLZLE, U., MALONEY, J., SMITH, R., AND UNGAR, D. 1992. The SELF Programmers's Reference Manual, version 2.0. Tech. rep., SUN Microsystems.
3. AGESEN, O., PALSBERG, J., AND SCHWARTZBACH, M. I. 1995. Type inference of self: Analysis of objects with dynamic and multiple inheritance. Soft.-Pract. Exper. 25, 9, 975-995.
4. ANCONA, D., ANDERSON, C., DAMIANI, R, DROSSOPOULOU, S., GIANNINI, P., AND ZUCCA, E. 2001. An effective translation of Fickle into Java. In Proceedings of the ICTCS'01. Lecture Notes in Computer Science, vol. 2002. Springer, Berlin, 215-234.
5. II into Java. In preparation.
6. ANDERSON, C. 2001. Implementing Fickle, Imperial College, final year thesis.
7. BERTINO, E. AND GUERRINI, G. 1995. Objects with multiple most specific classes. In Proceedings of ECOOP'95. Lecture Notes in Computer Science, vol. 952. Springer, Berlin, 102-126.
8. BONO, V., BUGLIESI, M., DEZANI-CIANCAGLINI, M., AND LIQUORI, L. 1999. A subtyping for extensible, incomplete objects. Funda. Inf. 38, 4, 325-364.
9. CANNING, P., COOK, W., HILL, W., AND OLTHOFF, W. 1989. Interfaces for strongly typed object oriented languages. In Proceedings of OOPSLA'89. ACM, New York, 457-467.
10. CARDELLI, L., DONAHUE, J., GLASSMAN, L., JORDAN, M., KALSOW, B., AND NELSON, G. 1989. Modula-3 Report (revised). Tech. rep., DEC Systems Research Center.
11. CHAMBERS, C. 1993. Predicate classes. In Proceedings of ECOOP'93. Lecture Notes in Computer Science, vol. 707. Springer, Berlin, 268-296.
12. CHAMBERS, C. AND LEAVENS, G. 1995. Type checking modules for multimethods. ACM Trans. Prog. Lang. Syst. 17, 6, 805-843.
13. COSTANZA, P. 2001. Dynamic object replacement and implementaion-only classes. In Proceedings of WCOP'01 (at ECOOP'01). Available from http://www.cs.uni-bonn.de/~costanza/irnplernentationonly.pdf.
14. DELINE, R. AND FÄHNDRICH, M. 2001. Enforcing high-level protocols in low-level software. In Proceedings of PLDI'01. ACM, New York, 59-69.
15. DI GIANANTONIO, P., HONSELL, F., AND LIQUORI, L. 1998. A Lambda calculus of objects with self-inflicted extension. In Proceedings of OOPSLA'98. ACM Press, New York, 166-178.
16. II. Tech. rep., Imperial College. Available from http://www.di.unito.it/~damiani/papers/dor.html.
17. DROSSOPOULOU, S., DAMIANI, F., DEZANI-CIANCAGLINI, M., AND GIANNINI, P. 2001. Fickle: Dynamic object reclassification. In Proceedings of ECOOP'01. Lecture Notes in Computer Science, vol. 2072. Springer, Berlin, 130-149. A shorter version is available in: Electronic proceedings of FOOL8 (http://www.cs.williams.edu/~kim/FOOL/).
18. DROSSOPOULOU, S., DEZANI-CIANCAGLINI, M., DAMIANI, F., AND GIANNINI, P. 1999a. Objects dynamically changing class. Tech. rep., Imperial College. Available from http://www.di.unito. it/~dezani/odcc.html.
19. DROSSOPOULOU, S., EISENBACH, S., AND KHURSHID, S. 1999b. Is the Java type system sound? Theory Pract. Obj. Syst. 5, 1, 3-24.
20. ERNST, M. D., KAPLAN, C., AND CHAMBERS, C. 1998. Predicate dispatching: A unified theory of dispatch. In Proceedings of ECOOP'98. Lecture Notes in Computer Science, vol. 1445. Springer, Berlin, 186-211.
21. II, Imperial College, final year thesis - to appear.
22. FISHER, K., HONSELL, F., AND MITCHELL, J. C. 1994. A Lambda calculus of objects and method specialization. Nord. J. Comput. 1, 1, 3-37.
23. FISHER, K. AND MITCHELL, J. C. 1995. A Delegation-based Object Calculus with Subtyping. In Proceedings of FCT'95. Lecture Notes in Computer Science, vol. 965. Springer, Berlin, 42-61.
24. FREEMAN, T. AND PFENNING, F. 1991. Refinement types for ML. In Proceedings of SIGPLAN '91. ACM, New York, 268-277.
25. GHELLI, G. AND PALMERINI, D. 1999. Foundations of extended objets with roles (extended abstract). In Electronic Proceedings of FOOL6. Available from http://www.cs.williams.edu/~kim/FOOL/ FOOL6.html.
26. GOLDBERG, A. AND ROBSON, D. 1983. Smalltalk-80: The Language and Its Implementation. Addison-Wesley, Reading, Mass.
27. HÜRSCH, W. 1994. Should superclasses be abstract? In Proceedings of ECOOP'94. Lecture Notes in Computer Science, vol. 821. Springer, Berlin, 12-31.
28. JARMAN, R. 2000. Fickle: A study in objects, Imperial College, final year thesis.
29. JARMAN, R. AND DROSSOPOULOU, S. 2000. Examples in Fickle. Available from http://www.di.unito.it/~damiani/papers/dor.html.
30. KRISTENSEN, B., MADSEN, O., MOLLER-PEDERSON, B., AND NYGAARD, K. 1987. The BETA programming language. In Research Directions in Object-Oriented Programming. MIT Press, Boston, Mass., 7-48.
31. LUCASSEN, M. AND GIFFORD, D. K. 1988. Polymorphic effect systems. In Proceedings of POPL'88. ACM, New York, 47-57.
32. RAVARA, A. AND VASCONCELOS, V. T. 2000. Typing non-uniform concurrent objects. In Proceedings of CONCU'00. Lecture Notes in Computer Science, vol. 1877. Springer, Berlin, 474-488.
33. RÉMY, D. 1995. From classes to objects via subtyping. In Proceedings of ESOP'98. Lecture Notes in Computer Science, vol. 1381. Springer, Berlin, 200-220.
34. RIECKE, J. C. AND STONE, C. A. 1998. Privacy via subsumption. In Electronic Proceedings of FOOL5. Available from http://www.cs.williams.edu/~kim/FOOL/FOOL5.html.
35. SCHEER, T. AND PRINGLE, S. 1998. Ten practical limitations of object orientation. OOPSLA Poster Session, Available from http://www.acm.org/sigplan/oopsla/oopsla98/fp/posters/10.htm.
36. SERRANO, M. 1999. Wide classes. In Proceedings of ECOOP'99. Lecture Notes in Computer Science, vol. 1628. Springer, Berlin, 391-415.
37. II on the JVM, Imperial College, final year thesis - to appear.
38. STROM, R. E. AND YELLIN, D. M. 1993. Extending typestate checking using conditional liveness analysis. IEEE Trans. Soft. Eng. 19, 5, 478-485.
39. TAILVASAARI, A. 1993. Object oriented programming with modes. J. Obj. Orient. Prog. 6, 3, 27-32.
40. TALPIN, J.-P. AND JOUVELOT, P. 1992. Polymorphic type, region and effect inference. J. Funct. Prog. 2, 3, 245-271.
41. WALKER, D., CRARY, K., AND MORRISETT, G. 2001. Typed memory management via static capabilities. ACM Trans. Prog. Lang. Syst. 22, 4, 701-771.