{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:01:27Z","timestamp":1725483687917},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540676607"},{"type":"electronic","value":"9783540451020"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-45102-1_15","type":"book-chapter","created":{"date-parts":[[2007,5,1]],"date-time":"2007-05-01T05:55:00Z","timestamp":1177998900000},"page":"296-312","source":"Crossref","is-referenced-by-count":0,"title":["Ionic Types"],"prefix":"10.1007","author":[{"given":"Simon","family":"Dobson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Brian","family":"Matthews","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2000,5,12]]},"reference":[{"key":"15_CR1","unstructured":"Secure computing with Java: now and the future. http:\/\/www.javasoft.com\/marketing\/collateral\/security.html , 1998."},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"Mart\u00edn Abadi and Luca Cardelli. A theory of objects. Springer Verlag, 1996.","DOI":"10.1007\/978-1-4419-8598-9"},{"key":"15_CR3","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/BFb0014544","volume":"1243","author":"M. Abadi","year":"1997","unstructured":"Mart\u00edn Abadi and Andrew Gordon. Secrecy by typing in security protocols. In Theoretical aspects of computer science, volume 1243, pages 59\u201373. Springer-Verlag, 1997.","journal-title":"Theoretical aspects of computer science"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"Gilad Bracha and William Cook. Mixin-based inheritance. In Proceedings of OOPSLA\/ECOO\u201990, 1990.","DOI":"10.1145\/97945.97982"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Luca Cardelli, Giorgio Ghelli, and Andrew Gordon. Mobility types for mobile ambients. In Proceedings of the International Conference on Algebraic and Logic Programming, 1999.","DOI":"10.1007\/3-540-48523-6_20"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Luca Cardelli and Andrew Gordon. Mobile ambients. In Maurice Nivat, editor, Foundations of software science and computational structures, volume 1378. Springer Verlag, 1998.","DOI":"10.1007\/BFb0053547"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Luca Cardelli and Andrew Gordon. Types for mobile ambients. In Proceedings of the 26th ACM Symposium on Principles of Programming Languages, pages 79\u201392, 1999.","DOI":"10.1145\/292540.292550"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"Simon Dobson, Paddy Nixon, Vincent Wade, Sotirios Terzis, and John Fuller. Vanilla: an open language framework. In Krzysztof Czarnecki and Ulrich Eisenecker, editors, Generative and component-based software engineering. Springer-Verlag, 1999.","DOI":"10.1007\/3-540-40048-6_8"},{"issue":"1","key":"15_CR9","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":"Sophia Drossopoulou, Susan Eisenbach, and Sarfraz Khurshid. Is the Java type system sound? Theory and practice of object systems, 5(1):3\u201324, 1999.","journal-title":"Theory and practice of object systems"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"Matthew Flatt, Shriram Krishnamurthi, and Matthias Felleisen. Classes and mixins. In Proceedings of POPL\u201998, pages 171\u2013183. ACM Press, 1998.","DOI":"10.1145\/268946.268961"},{"issue":"1","key":"15_CR11","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1145\/35037.42182","volume":"6","author":"E. Jul","year":"1988","unstructured":"Eric Jul, Henry Levy, Neil Hutchinson, and Andrew Black. Fine-grained mobility in the Emerald system. ACM Transactions on Computer Systems, 6(1):109\u2013133, 1988.","journal-title":"ACM Transactions on Computer Systems"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Neeran Karnik and Anand Tripathi. Design issues in mobile-agent programming. IEEE Concurrency, 6(3), 1998.","DOI":"10.1109\/4434.708256"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"G\u00fcnther Kniesel. Type-safe delegation for run-time component adaptation. In Proceedings of ECOOP\u201999, pages 351\u2013366. Springer-Verlag, 1999.","DOI":"10.1007\/3-540-48743-3_16"},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"Henry Lieberman. Using prototypical objects to implement shared behaviour in object-oriented systems. In Proceedings of OOPSLA\u201986, 1986.","DOI":"10.1145\/28697.28718"},{"key":"15_CR15","unstructured":"Ole Lehrmann Madsen, Birger Moller-Pedersen, and Kristen Nygaard. Object-Oriented programming in the BETA programming language. Addison-Wesley, 1993."},{"issue":"2","key":"15_CR16","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1109\/52.754052","volume":"16","author":"G. Muller","year":"1999","unstructured":"Gilles Muller and Ulrik Pagh Schultz. Harissa: a hybrid approach to Java execution. IEEE Software, 16(2):44\u201351, 1999.","journal-title":"IEEE Software"},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"Benjamin Pierce and Davide Sangiorgi. Typing and subtyping for mobile processes. In Logic in Computer Science, 1993.","DOI":"10.1109\/LICS.1993.287570"}],"container-title":["Lecture Notes in Computer Science","ECOOP 2000 \u2014 Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45102-1_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T12:31:32Z","timestamp":1556368292000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45102-1_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540676607","9783540451020"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-45102-1_15","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}