{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:54Z","timestamp":1761611214540},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540425588"},{"type":"electronic","value":"9783540448068"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44806-3_11","type":"book-chapter","created":{"date-parts":[[2007,7,20]],"date-time":"2007-07-20T14:21:36Z","timestamp":1184941296000},"page":"183-198","source":"Crossref","is-referenced-by-count":3,"title":["MetaKlaim: Meta-programming for Global Computing"],"prefix":"10.1007","author":[{"given":"Gianluigi","family":"Ferrari","sequence":"first","affiliation":[]},{"given":"Eugenio","family":"Moggi","sequence":"additional","affiliation":[]},{"given":"Rosario","family":"Pugliese","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,9,3]]},"reference":[{"key":"11_CR1","unstructured":"C. Calcagno, E. Moggi, T. Sheard, W. Taha. Closed types for safe imperative MetaML. submitted for publication, 2001."},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"L. Cardelli. Program Fragments, Linking, and Modularization. In Proc. of the ACM Symposium on Principles of Programming Languages, ACM Press, 1997.","DOI":"10.1145\/263699.263735"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"L. Cardelli and A. Gordon. Mobile Ambients. Theoretical Computers Science 240 (1), Elsevier 2000.","DOI":"10.1016\/S0304-3975(99)00231-5"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"L. Cardelli, A. Gordon. Types for Mobile Ambients. In Proc. of the ACM Symposium on Principles of Programming Languages, pp.79\u201392, ACM Press, 1999.","DOI":"10.1145\/292540.292550"},{"key":"11_CR5","series-title":"Lect Notes Comput Sci","volume-title":"Secure Internet Programming: Se curity Issues for Distributed and Mobile Objects","author":"L. Cardelli","year":"1999","unstructured":"L. Cardelli, Abstractions for Mobile Computing, In In Secure Internet Programming: Se curity Issues for Distributed and Mobile Objects (J. Vitek, C. Jensen, Eds.), LNCS State-Of-The-Art-Survey, LNCS 1603, Springer, 1999."},{"key":"11_CR6","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1145\/63334.63337","volume":"32W4","author":"N. Carriero","year":"1989","unstructured":"N. Carriero, D. Gelernter. Linda in Context. Communications of the ACM, 32W(4):444\u2013458, ACM Press, 1989.","journal-title":"Communications of the ACM"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"R. Davies. A temporal-logic approachto binding-time analysis. In 11th Annual IEEE Symposium on Logic in Computer Science (LICS), pages 184\u2013195, New Brunswick, 1996. IEEE Computer Society Press.","DOI":"10.1109\/LICS.1996.561317"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"R. Davies, F. Pfenning. A modal analysis of staged computation. In 23rd Annual ACM Symposium on Principles of Programming Languages (POPL), pages 258\u2013270, St. Petersburg Beach, 1996.","DOI":"10.1145\/237721.237788"},{"issue":"5","key":"11_CR9","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1109\/32.685256","volume":"24","author":"R. Nicola De","year":"1998","unstructured":"R. De Nicola, G. L. Ferrari, R. Pugliese. KLAIM: A Kernel Language for Agents Interaction and Mobility, IEEE Transactions on Software Engineering, 24(5):315\u2013330, IEEE Computer Society, 1998.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"11_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/3-540-48749-2_6","volume-title":"Secure Internet Programming:Se curity Issues for Distributed and Mobile Objects","author":"R. Nicola De","year":"1999","unstructured":"R. De Nicola, G. L. Ferrari, R. Pugliese. Types as Specifications of Access Policies. In In Secure Internet Programming:Se curity Issues for Distributed and Mobile Objects (J. Vitek, C. Jensen, Eds.), LNCS State-Of-The-Art-Survey, LNCS 1603, Springer, pp.117\u2013146, 1999."},{"key":"11_CR11","series-title":"Lect Notes Comput Sci","volume-title":"Programming Acess Control: The KLAIM Experience","author":"R. Nicola De","year":"2000","unstructured":"R. De Nicola, G. Ferrari, R. Pugliese. Programming Acess Control: The KLAIM Experience, In Proc. CONCUR\u20182000, LNCS 1877, 2000."},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"R. De Nicola, G. L. Ferrari, R. Pugliese, B. Venneri. Types for Access Control. Theoretical Computers Science, 240(1):215\u2013254, special issue on Coordination, Elsevier Science, July 2000.","DOI":"10.1016\/S0304-3975(99)00232-7"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"S. Drossopoulou. Towards an Abstract Model of Java Dynamic Linking and Verification. In Proc. Types in Compilation, 2000.","DOI":"10.1007\/3-540-45332-6_3"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"S. Drossopoulou, S. Eisenbach, D. Wragg. A fragment calculus-towards a model of separate compilation, linking and binary compatibility. In 14th Symposium on Logic in Computer Science (LICS\u201899), pages 147\u2013156, Washington-Brussels-Tokyo, July 1999. IEEE.","DOI":"10.1109\/LICS.1999.782606"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"G. Ferrari, E. Moggi, R. Pugliese. Global Types and Network Services. In Proc. ConCoord:International Workshop on Concurrency and Coordination, ENTCS 54 (Montanari and Sassone Eds), Elsevier Science, 2001.","DOI":"10.1016\/S1571-0661(04)00233-6"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"A. Fuggetta, G. Picco, G. Vigna. Understanging Code Mobility, IEEE Transactions on Software Engineering, 24(5), IEEE Computer Society, 1998.","DOI":"10.1109\/32.685258"},{"key":"11_CR17","series-title":"Lect Notes Comput Sci","volume-title":"A Calculus of Mobile Agents","author":"C. Fournet","year":"1996","unstructured":"Fournet, C., Gonthier, G. Levy, J-J., Maranget, L., Remy, D. A Calculus of Mobile Agents, In Proc. CONCUR\u201896, LNCS 1119, Springer, 1996."},{"key":"11_CR18","unstructured":"J-Y. Girard. Interpr\u00e9tation fonctionelle et \u00e9limination des coupures de l\u2018arithm\u00e9tique d\u2018ordre sup\u00e9rieur. PhD. Thesis, Universit\u00e9 Paris VII, 1972."},{"issue":"1","key":"11_CR19","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/2363.2433","volume":"7","author":"D. Gelernter","year":"1985","unstructured":"D. Gelernter. Generative Communication in Linda. ACM Transactions on Programming Languages and Systems, 7(1):80\u2013112, ACM Press, 1985.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"11_CR20","series-title":"Lect Notes Comput Sci","volume-title":"Mobile Agents and Security","author":"R. Gray","year":"1998","unstructured":"R. Gray, D. Kotz, G. Cybenko and D. Rus. D\u2018Agents: Security in a multiplelanguage, mobile-agent system. In G. Vigna, editor, Mobile Agents and Security, Lecture Notes in Computer Science, Springer-Verlag, 1998."},{"key":"11_CR21","unstructured":"M. Hennessy, J. Riely. Distributed Processes and Location Failures, Theoretical Computers Science, to appear, 2001."},{"key":"11_CR22","doi-asserted-by":"crossref","unstructured":"M. Hennessy, J. Riely. Resource Access Control in Systems of Mobile Agents, Information and Computation, to appear, 2001.","DOI":"10.1006\/inco.2001.3089"},{"key":"11_CR23","unstructured":"M. Hicks and S. Weirich. A Calculus for Dynamic Loading, Technical report, MSCIS-00-07, University of Pennsylvania, 2000, (available on line http:\/\/www.cis.upenn.edu\/mwh\/papers\/loadcalc.pdf )."},{"key":"11_CR24","doi-asserted-by":"crossref","unstructured":"S. Kamin, M. Callahan, L. Clausen. Lightweight and generative components II: Binary-level components. In [31], pages 28\u201350, 2000.","DOI":"10.1007\/3-540-45350-4_6"},{"key":"11_CR25","unstructured":"The MetaML Home Page provides source code and online documentation http:\/\/www.cse.ogi.edu\/PacSoft\/projects\/metaml\/index.html ."},{"key":"11_CR26","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1007\/3-540-49099-X_13","volume-title":"European Symposium on Programming (ESOP)","author":"E. Moggi","year":"1999","unstructured":"E. Moggi, W. Taha, Z. Benaissa, T. Sheard. An idealized MetaML: Simpler, and more expressive. In European Symposium on Programming (ESOP), volume 1576 of Lecture Notes in Computer Science, pages 193\u2013207. Springer-Verlag, 1999."},{"key":"11_CR27","doi-asserted-by":"crossref","unstructured":"F. Nielson, H. R. Nielson, and C. L. Hankin. Principles of Program Analysis. Springer-Verlag, 1999.","DOI":"10.1007\/978-3-662-03811-6"},{"key":"11_CR28","doi-asserted-by":"crossref","unstructured":"Z. Qian, A. Goldberg, A. Coglio. A formal specification of JavaTM class loading. In Proceedings of the Conference on Object-Oriented Programming, Systems, Languages and Application (OOPSLA-00), volume 35.10 of ACM Sigplan Notices, pages 325\u2013336, N. Y., October 15\u201319 2000. ACM Press.","DOI":"10.1145\/354222.353193"},{"key":"11_CR29","doi-asserted-by":"crossref","unstructured":"P. Sewell. Modules, Abstract Types and Distributed Versioning. In Proc. ACM Symposium on Principles of Programming Languages, ACM Press, 2001.","DOI":"10.1145\/360204.360225"},{"key":"11_CR30","doi-asserted-by":"crossref","unstructured":"P. Sewell, P. Wojciechowski. Nomadic Pict: Language and Infrastructure Design for Mobile Agents. IEEE Concurrency, 2000.","DOI":"10.1109\/4434.846193"},{"key":"11_CR31","series-title":"Lect Notes Comput Sci","volume-title":"Semantics, Applications, and Implementation of Program Generation","year":"2000","unstructured":"W. Taha, editor. Semantics, Applications, and Implementation of Program Generation, volume 1924 of Lecture Notes in Computer Science, Montr\u00e9al, 2000. Springer-Verlag."},{"issue":"3","key":"11_CR32","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1017\/S0956796800000393","volume":"2","author":"J.-P. Talpin","year":"1992","unstructured":"J.-P. Talpin, P. Jouvelot. Polymorphic type, region and effect inference. Journal of Functional Programming, 2(3):245\u2013271, 1992.","journal-title":"Journal of Functional Programming"},{"issue":"2","key":"11_CR33","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1006\/inco.1994.1046","volume":"111","author":"J.-P. Talpin","year":"1994","unstructured":"J.-P. Talpin, P. Jouvelot. The type and effect discipline. Information and Computation, 111(2):245\u2013296, June 1994.","journal-title":"Information and Computation"},{"key":"11_CR34","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-48749-2","volume-title":"Towards a Calculus of Secure Mobile Computations","author":"J. Vitek","year":"1999","unstructured":"J. Vitek, G. Castagna. Towards a Calculus of Secure Mobile Computations. In Workshop on Internet Programming Languages, LNCS 1686, Springer, 1999."},{"key":"11_CR35","doi-asserted-by":"crossref","unstructured":"A.K. Wright, M. Felleisen. A syntactic approach to type soundness. Information and Computation, 115(1), 1994.","DOI":"10.1006\/inco.1994.1093"}],"container-title":["Lecture Notes in Computer Science","Semantics, Applications, and Implementation of Program Generation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44806-3_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T06:59:08Z","timestamp":1556693948000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44806-3_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540425588","9783540448068"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/3-540-44806-3_11","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}