{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:50:29Z","timestamp":1725558629145},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540202165"},{"type":"electronic","value":"9783540452089"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45208-9_9","type":"book-chapter","created":{"date-parts":[[2010,6,28]],"date-time":"2010-06-28T00:49:20Z","timestamp":1277686160000},"page":"97-110","source":"Crossref","is-referenced-by-count":3,"title":["Refined Effects for Unanticipated Object Re-classification: $\\mathcal{F}ickle_{\\rm 3}$"],"prefix":"10.1007","author":[{"given":"Ferruccio","family":"Damiani","sequence":"first","affiliation":[]},{"given":"Sophia","family":"Drossopoulou","sequence":"additional","affiliation":[]},{"given":"Paola","family":"Giannini","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/3-540-45446-2_14","volume-title":"Theoretical Computer Science","author":"D. Ancona","year":"2001","unstructured":"Ancona, D., Anderson, C., Damiani, F., Drossopoulou, S., Giannini, P., Zucca, E.: An Effective Translation of Fickle into Java. In: Restivo, A., Ronchi Della Rocca, S., Roversi, L. (eds.) ICTCS 2001. LNCS, vol.\u00a02202, pp. 215\u2013234. Springer, Heidelberg (2001)"},{"key":"9_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/3-540-47910-4_15","volume-title":"ECOOP \u201993 - Object-Oriented Programming","author":"C. Chambers","year":"1993","unstructured":"Chambers, C.: Predicate Classes. In: Nierstrasz, O. (ed.) ECOOP 1993. LNCS, vol.\u00a0707, pp. 268\u2013296. Springer, Heidelberg (1993)"},{"key":"9_CR3","unstructured":"P. Costanza. Dynamic Object Replacement and Implementation-Only Classes. In WCOP 2001 (at ECOOP 2001) (2001), Available from \n \n http:\/\/www.cs.uni-bonn.de\/~costanza\/implementationonly.pdf"},{"key":"9_CR4","unstructured":"Damiani, F., Dezani-Ciancaglini, M., Drossopoulou, S., Giannini, P.: Refined Effects for Re-classification: Fickle\n III\n (2002). Report for the IST-2001-33477 DART project - available at the \n \n http:\/\/www.cee.hw.ac.uk\/DART\/reports\/D3.1\/DDDG02b.pdf"},{"key":"9_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/3-540-45337-7_8","volume-title":"ECOOP 2001 - Object-Oriented Programming","author":"S. Drossopoulou","year":"2001","unstructured":"Drossopoulou, S., Damiani, F., Dezani-Ciancaglini, M., Giannini, P.: Fickle: Dynamic Object Re-classification. In: Knudsen, J.L. (ed.) ECOOP 2001. LNCS, vol.\u00a02072, pp. 130\u2013149. Springer, Heidelberg (2001); A shorter version is available in: Electronic proceedings of FOOL8, \n \n http:\/\/www.cs.williams.edu\/~kim\/FOOL\/"},{"issue":"2","key":"9_CR6","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1145\/514952.514955","volume":"24","author":"S. Drossopoulou","year":"2002","unstructured":"Drossopoulou, S., Damiani, F., Dezani-Ciancaglini, M., Giannini, P.: More Dynamic Object Re-classification: Fickle II. ACM Transactions On Programming Languages and Systems\u00a024(2), 153\u2013191 (2002)","journal-title":"ACM Transactions On Programming Languages and Systems"},{"issue":"1","key":"9_CR7","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1002\/(SICI)1096-9942(199901\/03)5:1<3::AID-TAPO2>3.0.CO;2-T","volume":"5","author":"S. Drossopoulou","year":"1999","unstructured":"Drossopoulou, S., Eisenbach, S., Khurshid, S.: Is the Java Type System Sound? Theory and Practice of Object Systems\u00a05(1), 3\u201324 (1999)","journal-title":"Theory and Practice of Object Systems"},{"key":"9_CR8","unstructured":"Ghelli, G., Palmerini, D.: Foundations of Extended Objets with Roles (extended abstract). In: FOOL6 (1999), Available from \n \n http:\/\/www.cs.williams.edu\/~kim\/FOOL\/FOOL6.html"},{"key":"9_CR9","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1145\/73560.73564","volume-title":"POPL 1988","author":"M. Lucassen","year":"1988","unstructured":"Lucassen, M., Gifford, D.K.: Polymorphic Effect Systems. In: POPL 1988, pp. 47\u201357. ACM Press, New York (1988)"},{"key":"9_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1007\/3-540-48743-3_18","volume-title":"ECOOP \u201999 - Object-Oriented Programming","author":"M. Serrano","year":"1999","unstructured":"Serrano, M.: Wide Classes. In: Guerraoui, R. (ed.) ECOOP 1999. LNCS, vol.\u00a01628, pp. 391\u2013415. Springer, Heidelberg (1999)"},{"issue":"3","key":"9_CR11","first-page":"27","volume":"6","author":"A. Tailvasaari","year":"1993","unstructured":"Tailvasaari, A.: Object Oriented Programming with Modes. Journal of Object Oriented Programming\u00a06(3), 27\u201332 (1993)","journal-title":"Journal of Object Oriented Programming"},{"issue":"3","key":"9_CR12","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1017\/S0956796800000393","volume":"2","author":"J.-P. Talpin","year":"1992","unstructured":"Talpin, J.-P., Jouvelot, P.: Polymorphic Type, Region and Effect Inference. Journal of Functional Programming\u00a02(3), 245\u2013271 (1992)","journal-title":"Journal of Functional Programming"}],"container-title":["Lecture Notes in Computer Science","Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45208-9_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T00:03:12Z","timestamp":1552608192000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45208-9_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540202165","9783540452089"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45208-9_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}