{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T13:44:45Z","timestamp":1770299085189,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540422068","type":"print"},{"value":"9783540453376","type":"electronic"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45337-7_8","type":"book-chapter","created":{"date-parts":[[2007,7,3]],"date-time":"2007-07-03T16:07:39Z","timestamp":1183478859000},"page":"130-149","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":19,"title":["Fickle: Dynamic Object Re-classification"],"prefix":"10.1007","author":[{"given":"Sophia","family":"Drossopoulou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ferruccio","family":"Damiani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mariangiola","family":"Dezani-Ciancaglini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paola","family":"Giannini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,6,21]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"M. Abadi and L. Cardelli. A Theory of Objects. Springer, 1996.","DOI":"10.1007\/978-1-4419-8598-9"},{"key":"8_CR2","unstructured":"O. Agesen, L. Bak, C. Chambers, B.W. Chang, U. H\u00f6lzle, J. Maloney, R.B. Smith, and D. Ungar. The SELF programmers\u2019s reference manual, version 2.0. Technical report, SUN Microsystems, 1992."},{"issue":"9","key":"8_CR3","doi-asserted-by":"publisher","first-page":"975","DOI":"10.1002\/spe.4380250903","volume":"25","author":"O. Agesen","year":"1995","unstructured":"O. Agesen, J. Palsberg, and M.I. Schwartzbach. Type inference of Self: Analysis of objects with dynamic and multiple inheritance. Software-Practice and Experience, 25(9):975\u2013995, 1995.","journal-title":"Software-Practice and Experience"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"D. Ancona, C. Anderson, F. Damiani, S. Drossopoulou, P. Giannini, and E. Zucca. An Effective Translation of Fickle into Java, April 2001. Technical Report, DISI University of Genova and Imperial College. Available from http:\/\/www.di.unito.it\/~damiani\/dor.html.","DOI":"10.1007\/3-540-45446-2_14"},{"key":"8_CR5","unstructured":"C. Anderson. Implementing Fickle, Imperial College, final year thesis-to appear, June 2001."},{"key":"8_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1007\/3-540-49538-X_6","volume-title":"ECOOP\u201995","author":"E. Bertino","year":"1995","unstructured":"E. Bertino and G. Guerrini. Objects with Multiple Most Specific Classes. In ECOOP\u201995, volume 952 of LNCS, pages 102\u2013126. Springer, 1995."},{"key":"8_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"465","DOI":"10.1007\/BFb0030619","volume-title":"CAAP\u201997","author":"V. Bono","year":"1997","unstructured":"V. Bono, M. Bugliesi, M. Dezani-Ciancaglini, and L. Liquori. Subtyping Constraints for Incomplete Objects. In CAAP\u201997, volume 1214 of LNCS, pages 465\u2013477. Springer, 1997."},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"P. Canning, W. Cook, W. Hill, and W. Olthoff. Interfaces for Strongly Typed Object Oriented Languages. In OOPSLA\u201989, pages 457\u2013467. ACM press, 1989.","DOI":"10.1145\/74877.74924"},{"key":"8_CR9","unstructured":"L. Cardelli, J. Donahue, L. Glassman, M. Jordan, B. Kalsow, and G. Nelson. Modula-3 report (revised). Technical report, DEC System Research Center, 1989."},{"key":"8_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"268","DOI":"10.1007\/3-540-47910-4_15","volume-title":"ECOOP\u201993","author":"C. Chambers","year":"1993","unstructured":"C. Chambers. Predicate Classes. In ECOOP\u201993, volume 707 of LNCS, pages 268\u2013296. Springer, 1993."},{"issue":"6","key":"8_CR11","doi-asserted-by":"publisher","first-page":"805","DOI":"10.1145\/218570.218571","volume":"17","author":"C. Chambers","year":"1995","unstructured":"C. Chambers and G. Leavens. Type Checking Modules for Multimethods. ACM Transactions on Programming Languages and Systems, 17(6):805\u2013843, 1995.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"P. Di Gianantonio, F. Honsell, and L. Liquori. A Lambda Calculus of Objects with Self-inflicted Extension. In OOPSLA\u201998, pages 166\u2013178. ACM press, 1998.","DOI":"10.1145\/286942.286955"},{"key":"8_CR13","unstructured":"S. Drossopoulou, M. Dezani-Ciancaglini, F. Damiani, and P. Giannini. Objects Dynamically Changing Class. Technical report, Imperial College, August 1999. Available from http:\/\/www.di.unito.it\/~dezani\/odcc.html."},{"key":"8_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1007\/BFb0054092","volume-title":"ECOOP\u201998","author":"M.D. Ernst","year":"1998","unstructured":"M.D. Ernst, C. Kaplan, and C. Chambers. Predicate Dispatching: A Unified Theory of Dispatch. In ECOOP\u201998, volume 1445 of LNCS, pages 186\u2013211. Springer, 1998."},{"issue":"1","key":"8_CR15","first-page":"3","volume":"1","author":"K. Fisher","year":"1994","unstructured":"K. Fisher, F. Honsell, and J.C. Mitchell. A Lambda Calculus of Objects and Method Specialization. In Nordic Journal of Computing 1(1), pages 3\u201337, 1994.","journal-title":"Nordic Journal of Computing"},{"key":"8_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1007\/3-540-60249-6_40","volume-title":"FCT\u201995","author":"K. Fisher","year":"1995","unstructured":"K. Fisher and J.C. Mitchell. A Delegation-based Object Calculus with Subtyping. In FCT\u201995, volume 965 of LNCS, pages 42\u201361. Springer, 1995."},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"T. Freeman and F. Pfenning. Refinement types for ML. In SIGPLAN\u2019 91, pages 268\u2013277. ACM Press, 1991.","DOI":"10.1145\/113446.113468"},{"key":"8_CR18","unstructured":"E. Gamma, R. Helm, R. Johnson, and J. Vlissidis. Design Pattersn. Addison-Wesley, 1994."},{"key":"8_CR19","unstructured":"G. Ghelli and D. Palmerini. Foundations of Extensible Objets with Roles. In FOOL\u201906, 1999. Available from http:\/\/www.cs.williams.edu\/~kim\/FOOL\/FOOL6.html."},{"key":"8_CR20","unstructured":"A. Goldberg and D. Robson. Smalltlak-80: The Language and its Implementation. Addison-Wesley, 1985."},{"key":"8_CR21","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1007\/BFb0052174","volume-title":"ECOOP\u201994","author":"W.L. H\u00fcrsch","year":"1994","unstructured":"W.L. H\u00fcrsch. Should Superclasses be Abstract? In ECOOP\u201994, volume 821 of LNCS, pages 12\u201331. Springer, 1994."},{"key":"8_CR22","unstructured":"R. Jarman and S. Drossopoulou. Examples in Fickle. Available from http:\/\/www.di.unito.it\/~damiani\/papers\/dor.html."},{"key":"8_CR23","doi-asserted-by":"crossref","unstructured":"B.B. Kristensen, O.L. Madsen, B. Moller-Pederson, and K. Nygaard. The BETA programming language. In Research Directions in Object-Oriented Programming, pages 7\u201348. MIT Press, 1987.","DOI":"10.7146\/dpb.v16i229.7578"},{"key":"8_CR24","doi-asserted-by":"crossref","unstructured":"M. Lucassen and D.K. Gifford. Polymorphic effect systems. In POPL\u201988, pages 47\u201357. ACM press, 1988.","DOI":"10.1145\/73560.73564"},{"key":"8_CR25","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"474","DOI":"10.1007\/3-540-44618-4_34","volume-title":"CONCUR\u201900","author":"A. Ravara","year":"2000","unstructured":"A. Ravara and V.T. Vasconcelos. Typing non-uniform concurrent objects. In CONCUR\u201900, volume 1877 of LNCS, pages 474\u2013488. Springer, 2000."},{"key":"8_CR26","series-title":"Lect Notes Comput Sci","first-page":"200","volume-title":"ESOP\u201998","author":"D. R\u00e9my","year":"1995","unstructured":"D. R\u00e9my. From Classes to Objects via Subtyping. In ESOP\u201998, volume 1381 of LNCS, pages 200\u2013220. Springer, 1995."},{"key":"8_CR27","unstructured":"J.C. Riecke and C.A. Stone. Privacy via Subsumption. In FOOL\u201998, 1998. Available from http:\/\/www.cs.williams.edu\/~kim\/FOOL\/FOOL5.html."},{"key":"8_CR28","unstructured":"T. Scheer and S. Pringle. Ten Practical Limitations of Object Orientation, November 1998. OOPSLA Poster Session, Available from http:\/\/www.acm.org\/sigplan\/oopsla\/oopsla98\/fp\/posters\/10.html."},{"key":"8_CR29","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1007\/3-540-48743-3_18","volume-title":"ECOOP\u201999","author":"M. Serrano","year":"1999","unstructured":"M. Serrano. Wide Classes. In ECOOP\u201999, volume 1628 of LNCS, pages 391\u2013415. Springer, 1999."},{"key":"8_CR30","unstructured":"A. Tailvasaari. Object Oriented Programming with Modes. Journal of Object Oriented Programming, pages 27\u201332, 1992."},{"issue":"3","key":"8_CR31","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1017\/S0956796800000393","volume":"2","author":"J.-P. Talpin","year":"1992","unstructured":"J.-P. Talpin and P. Jouvelot. Polymorphic Type, Region and Effect Inference. Journal of Functional Programming, 2(3):245\u2013271, 1992","journal-title":"Journal of Functional Programming"}],"container-title":["Lecture Notes in Computer Science","ECOOP 2001 \u2014 Object-Oriented Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45337-7_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,18]],"date-time":"2023-02-18T01:59:58Z","timestamp":1676685598000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/3-540-45337-7_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540422068","9783540453376"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/3-540-45337-7_8","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"21 June 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}