{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:17:46Z","timestamp":1725495466602},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540753339"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75336-0_20","type":"book-chapter","created":{"date-parts":[[2007,11,16]],"date-time":"2007-11-16T01:38:37Z","timestamp":1195177117000},"page":"319-338","source":"Crossref","is-referenced-by-count":1,"title":["A Framework for Type Safe Exchange of Mobile Code"],"prefix":"10.1007","author":[{"given":"Sonia","family":"Fagorzi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elena","family":"Zucca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","series-title":"Monographs in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-8598-9","volume-title":"A Theory of Objects","author":"M. Abadi","year":"1996","unstructured":"Abadi, M., Cardelli, L.: A Theory of Objects. Monographs in Computer Science. Springer, Heidelberg (1996)"},{"issue":"2","key":"20_CR2","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1017\/S0956796801004257","volume":"12","author":"D. Ancona","year":"2002","unstructured":"Ancona, D., Zucca, E.: A calculus of module systems. Journ. of Functional Programming\u00a012(2), 91\u2013132 (2002)","journal-title":"Journ. of Functional Programming"},{"key":"20_CR3","series-title":"Lecture Notes in Computer Science","first-page":"12","volume-title":"FIDJI\u201903 - Scientific Engineering of Distributed Java Applications","author":"L. Bettini","year":"2003","unstructured":"Bettini, L.: A Java package for class and mixin mobility in a distributed setting. In: FIDJI 2003. LNCS, vol.\u00a02952, pp. 12\u201322. Springer, Heidelberg (2003)"},{"issue":"4","key":"20_CR4","doi-asserted-by":"crossref","first-page":"5","DOI":"10.5381\/jot.2005.4.10.a1","volume":"10","author":"L. Bettini","year":"2005","unstructured":"Bettini, L., Bono, V., Likavec, S.: Safe and flexible objects with subtyping. SAC 2005\u00a010(4), 5\u201329 (2005) (Special Issue: OOPS Track at SAC 2005)","journal-title":"Journ. of Object Technology"},{"key":"20_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1007\/978-3-540-24634-3_5","volume-title":"Coordination Models and Languages","author":"L. Bettini","year":"2004","unstructured":"Bettini, L., Bono, V., Venneri, B.: O\u2019Klaim: a coordination language with mobile mixins. In: De Nicola, R., Ferrari, G.L., Meredith, G. (eds.) COORDINATION 2004. LNCS, vol.\u00a02949, pp. 20\u201337. Springer, Heidelberg (2004)"},{"key":"20_CR6","first-page":"451","volume-title":"TCS 2004 - IFIP Int. Conf. on Theoretical Computer Science","author":"L. Bettini","year":"2004","unstructured":"Bettini, L., Bono, V., Venneri, B.: Subtyping-inheritance conflicts: The mobile mixin case. In: L\u00e9vy, J.-J., Mayr, E.W., Mitchell, J.C. (eds.) TCS 2004 - IFIP Int. Conf. on Theoretical Computer Science, pp. 451\u2013464. Kluwer Academic, Boston (2004)"},{"issue":"2-3","key":"20_CR7","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/s00236-005-0176-0","volume":"42","author":"L. Bettini","year":"2005","unstructured":"Bettini, L., Venneri, B., Bono, V.: MOMI: a calculus for mobile mixins. Acta Informatica\u00a042(2-3), 143\u2013190 (2005)","journal-title":"Acta Informatica"},{"key":"20_CR8","unstructured":"Bierman, G., Hicks, M.W., Sewell, P., Stoyle, G.: Formalizing dynamic software updating (extended abstract). In: USE 2003 - the Second International Workshop on Unanticipated Software Evolution (2003)"},{"key":"20_CR9","first-page":"99","volume-title":"Intl. Conf. on Functional Programming 2003","author":"G. Bierman","year":"2003","unstructured":"Bierman, G., Hicks, M.W., Sewell, P., Stoyle, G., Wansbrough, K.: Dynamic rebinding for marshalling and update, with destruct-time \u03bb. In: Runciman, C., Shivers, O. (eds.) Intl. Conf. on Functional Programming 2003, pp. 99\u2013110. ACM Press, New York (2003)"},{"key":"20_CR10","doi-asserted-by":"crossref","unstructured":"Fagorzi, S., Zucca, E.: A calculus of components with dynamic type-checking. Electronic Notes in Theoretical Computer Science, Formal Aspects of Component Software (FACS 2006) (2006) (to appear)","DOI":"10.1016\/j.entcs.2006.09.032"},{"key":"20_CR11","unstructured":"Felleisen, M., Friedman, D.P.: Control operators, the SECD-machine, and the lambda-calculus. In: 3rd Working Conference on the Formal Description of Programming Concepts, Ebberup, Denmark, pp. 193\u2013219 (August 1986)"},{"key":"20_CR12","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1145\/99583.99603","volume-title":"ACM Symp. on Principles of Programming Languages 1991","author":"R. Harper","year":"1991","unstructured":"Harper, R., Pierce, B.C.: A record calculus based on symmetric concatenation. In: ACM Symp. on Principles of Programming Languages 1991, pp. 131\u2013142. ACM Press, New York (1991)"},{"key":"20_CR13","doi-asserted-by":"publisher","first-page":"358","DOI":"10.1145\/237721.237804","volume-title":"ACM Symp. on Principles of Programming Languages 1996","author":"N. Kobayashi","year":"1996","unstructured":"Kobayashi, N., Pierce, B.C., Turner, D.N.: Linearity and the pi-calculus. In: ACM Symp. on Principles of Programming Languages 1996, pp. 358\u2013371. ACM Press, New York, USA (1996)"},{"key":"20_CR14","first-page":"156","volume-title":"Intl. Conf. on Functional Programming 2005","author":"H. Makholm","year":"2005","unstructured":"Makholm, H., Wells, J.B.: Type inference, principal typings, and let-polymorphism for first-class mixin modules. In: Danvy, O., Pierce, B.C. (eds.) Intl. Conf. on Functional Programming 2005, pp. 156\u2013167. ACM Press, New York (2005)"},{"key":"20_CR15","unstructured":"Meijer, E., Drayton, P.: Static typing where possible, dynamic typing when needed: The end of the cold war between programming languages. In: OOPSLA 2004 Workshop on Revival of Dynamic Languages (2004)"},{"key":"20_CR16","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1145\/263699.263712","volume-title":"ACM Symp. on Principles of Programming Languages 1997","author":"G.C. Necula","year":"1997","unstructured":"Necula, G.C.: Proof-carrying code. In: George, C. (ed.) ACM Symp. on Principles of Programming Languages 1997, pp. 106\u2013119. ACM Press, New York (1997)"},{"key":"20_CR17","doi-asserted-by":"crossref","unstructured":"Pierce, B.C., Sangiorgi, D.: Typing and subtyping for mobile processes. In: Proceedings 8th IEEE Logics in Computer Science, Montreal, Canada, pp. 376\u2013385 (1993)","DOI":"10.1109\/LICS.1993.287570"},{"issue":"1","key":"20_CR18","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1006\/inco.2000.2925","volume":"172","author":"J.G. Riecke","year":"2002","unstructured":"Riecke, J.G., Stone, C.A.: Privacy via subsumption. Information and Computation\u00a0172(1), 2\u201328 (2002)","journal-title":"Information and Computation"},{"key":"20_CR19","first-page":"183","volume-title":"ACM Symp. on Principles of Programming Languages 2005","author":"G. Stoyle","year":"2005","unstructured":"Stoyle, G., Hicks, M.W., Bierman, G., Sewell, P., Neamtiu, I.: Mutatis mutandis: safe and predictable dynamic software updating. In: ACM Symp. on Principles of Programming Languages 2005, pp. 183\u2013194. ACM Press, New York (2005)"},{"key":"20_CR20","unstructured":"Wand, M.: Complete type inference for simple objects. In: Proc. IEEE Symp. on Logic in Computer Science 1987, pp. 37\u201344, 1987. A corrigendum appeared at LICS (1988)"}],"container-title":["Lecture Notes in Computer Science","Trustworthy Global Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75336-0_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:59:27Z","timestamp":1619521167000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75336-0_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540753339"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75336-0_20","relation":{},"subject":[]}}