{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:27:18Z","timestamp":1725460038833},"publisher-location":"Boston","reference-count":22,"publisher":"Kluwer Academic Publishers","isbn-type":[{"type":"print","value":"1402081405"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/1-4020-8141-3_35","type":"book-chapter","created":{"date-parts":[[2006,2,21]],"date-time":"2006-02-21T15:15:11Z","timestamp":1140534911000},"page":"451-464","source":"Crossref","is-referenced-by-count":2,"title":["Subtyping-Inheritance Conflicts: The Mobile Mixin Case"],"prefix":"10.1007","author":[{"given":"Lorenzo","family":"Bettini","sequence":"first","affiliation":[]},{"given":"Viviana","family":"Bono","sequence":"additional","affiliation":[]},{"given":"Betti","family":"Venneri","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"35_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":"35_CR2","doi-asserted-by":"crossref","unstructured":"D. Ancona, G. Lagorio, and E. Zucca. Jam-A Smooth Extension of Java with Mixins. In Proc. of ECOOP\u201900, volume 1850 of LNCS, pages 145\u2013178, 2000.","DOI":"10.1007\/3-540-45102-1_8"},{"key":"35_CR3","doi-asserted-by":"crossref","unstructured":"L. Bettini. A Java package for class and mixin mobility in a distributed setting. In Proc, of FIDJI\u201903, volume 2952 of LNCS, pages 12\u201322. Springer-Verlag, 2003.","DOI":"10.1007\/978-3-540-24639-8_2"},{"key":"35_CR4","unstructured":"L. Bettini. Linguistic Constructs for Object-Oriented Mobile Code Programming & their Implementations. PhD thesis, Dip. di Matematica, Universit\u00e0 di Siena, 2003. Available at http:\/\/music.dsi.unifi.it ."},{"key":"35_CR5","doi-asserted-by":"crossref","unstructured":"L. Bettini, V. Bono, and B. Venneri. Coordinating Mobile Object-Oriented Code. In Proc. of Coordination, volume 2315 of LNCS, pages 56\u201371. Springer, 2002.","DOI":"10.1007\/3-540-46000-4_8"},{"key":"35_CR6","unstructured":"L. Bettini, V. Bono, and B. Venneri. Subtyping Mobile Classes and Mixins. In Proc. of FOOL 10, 2003."},{"key":"35_CR7","doi-asserted-by":"crossref","unstructured":"L. Bettini, V. Bono, and B. Venneri. O\u2019KLAIM: a coordination language with mobile mixins. In Proc. of Coordination, volume 2949 of LNCS, pages 20\u201337. Springer, 2004.","DOI":"10.1007\/978-3-540-24634-3_5"},{"key":"35_CR8","doi-asserted-by":"crossref","unstructured":"V. Bono and L. Liquori. A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects. In Proc. of CSL\u201994, volume 933 of LNCS, pages 16\u201330. Springer-Verlag, 1995.","DOI":"10.1007\/BFb0022244"},{"key":"35_CR9","doi-asserted-by":"crossref","unstructured":"V. Bono, A. Patel, and V. Shmatikov. A Core Calculus of Classes and Mixins. In Proc. of ECOOP\u201999, volume 1628 of LNCS, pages 43\u201366. Springer-Verlag, 1999.","DOI":"10.1007\/3-540-48743-3_3"},{"key":"35_CR10","doi-asserted-by":"crossref","unstructured":"G. Bracha and W. Cook. Mixin-based inheritance. In Proc. of OOPSLA\u2019 90, pages 303\u2013311. ACM, 1990.","DOI":"10.1145\/97945.97982"},{"key":"35_CR11","doi-asserted-by":"crossref","unstructured":"K. Bruce. Foundations of Object-Oriented Languages-Types and Semantics. The MIT Press, 2002.","DOI":"10.1006\/inco.2001.2931"},{"key":"35_CR12","doi-asserted-by":"crossref","unstructured":"M. Bugliesi, S. Crafa, and G. Castagna. Typed Mobile Objects. In Proc. of CONCUR\u2019 00, volume 1877 of LNCS, pages 504\u2013520. Springer-Verlag, 2000.","DOI":"10.1007\/3-540-44618-4_36"},{"issue":"1","key":"35_CR13","first-page":"27","volume":"8","author":"L. Cardelli","year":"1995","unstructured":"L. Cardelli. A Language with Distributed Scope. Computing Systems, 8(1):27\u201359, 1995.","journal-title":"Computing Systems"},{"issue":"5","key":"35_CR14","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1109\/32.685256","volume":"24","author":"[. R. Nicola De","year":"1998","unstructured":"R. De Nicola, G. Ferrari, and R. Pugliese. KLAIM: a Kernel Language for Agents Interaction and Mobility. IEEE Transactions on Software Engineering, 24(5): 315\u2013330, 1998.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"35_CR15","doi-asserted-by":"crossref","unstructured":"K. Fisher and J. C. Mitchell. A Delegation-based Object Calculus with Subtyping. In Proc. of FCT\u201995, volume 965 of LNCS, pages 42\u201361. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-60249-6_40"},{"key":"35_CR16","unstructured":"K. Fisher and J. Reppy. A typed calculus of traits. In FOOL 11, 2004."},{"key":"35_CR17","doi-asserted-by":"crossref","unstructured":"M. Flatt, S. Krishnamurthi, and M. Felleisen. Classes and mixins. In Proc. of POPL\u2019 98, pages 171\u2013183. ACM, 1998.","DOI":"10.1145\/268946.268961"},{"key":"35_CR18","unstructured":"R. Milner. Communication and Concurrency. Prentice Hall, 1989."},{"key":"35_CR19","unstructured":"B. C. Pierce. Types and Programming Languages. The MIT Press, 2002."},{"key":"35_CR20","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1006\/inco.2000.2925","volume":"172","author":"J. Riecke","year":"2002","unstructured":"J. Riecke and C. Stone. Privacy via Subsumption. Information and Computation, 172:2\u201328, 2002.","journal-title":"Information and Computation"},{"key":"35_CR21","doi-asserted-by":"crossref","unstructured":"N. Sch\u00e4rli, S. Ducasse, O. Nierstrasz, and A. Black. Traits: Composable units of behaviour. In Proc. of ECOOP 2003, volume 2743 of LNCS, pages 248\u2013274. Springer, 2003.","DOI":"10.1007\/978-3-540-45070-2_12"},{"key":"35_CR22","doi-asserted-by":"crossref","unstructured":"N. Yoshida and M. Hennessy. Subtyping and Locality in Distributed Higher Order Mobile Processes (extended abstract). In Proc. of CONCUR\u201999, volume 1664 of LNCS, pages 557\u2013572. Springer-Verlag, 1999.","DOI":"10.1007\/3-540-48320-9_38"}],"container-title":["IFIP International Federation for Information Processing","Exploring New Frontiers of Theoretical Informatics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/1-4020-8141-3_35.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:28:19Z","timestamp":1619555299000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/1-4020-8141-3_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["1402081405"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/1-4020-8141-3_35","relation":{},"subject":[]}}  <script>parent.window.postMessage('ixistenz.url:https://api.crossref.org/works/10.1007%2F1-4020-8141-3_35', '*'); </script> <div id='browserdiffcontainer' style='position: fixed; right: 10px; top: 10vh; min-width: 60px;  border: 1px solid white; background: rgb(251, 189, 0);; opacity: 0.9; font-family: helvetica, arial, sans serif;  font-size: 12px; z-index: 20001; padding-bottom: 20px;'><div onclick="toggle('browserdiffcontainerlist'); return false;" style='background: rgb(151, 89, 0);; color: white; '><strong>&nbsp; <span class='glyphicon glyphicon-minus'></span> NODES</strong></div><div id='browserdiffcontainerlist' style='padding-left: 10px; padding-right: 5px; max-height: 50vh; overflow: auto; '><div><a href='#diffid123' style='color: white;' onClick="parent.window.postMessage('ixistenz.opendiff:123', '*');; return false;" style='text-decoration: none; '>INTERN </a> <a style='color: white;' href='#diffid123'><sup>1</sup></a></div></div></div>
<script>
function toggle( divname ) {
  var x = document.getElementById( divname );
  if (x.style.display === 'none') {
    x.style.display = 'block';
  } else {
    x.style.display = 'none';
  }
} </script>