{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:35:32Z","timestamp":1725543332188},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540376576"},{"type":"electronic","value":"9783540376590"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11821946_9","type":"book-chapter","created":{"date-parts":[[2006,8,5]],"date-time":"2006-08-05T06:35:14Z","timestamp":1154759714000},"page":"131-146","source":"Crossref","is-referenced-by-count":0,"title":["A Class-Based Object Calculus of Dynamic Binding: Reduction and Properties"],"prefix":"10.1007","author":[{"given":"Pawe\u0142 T.","family":"Wojciechowski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"TAPSOFT \u201995: Theory and Practice of Software Development","author":"M. Abadi","year":"1995","unstructured":"Abadi, M., Cardelli, L.: An imperative object calculus. In: Mosses, P.D., Schwartzbach, M.I., Nielsen, M. (eds.) CAAP 1995, FASE 1995, and TAPSOFT 1995. LNCS, vol.\u00a0915. Springer, Heidelberg (1995)"},{"key":"9_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/978-3-540-45213-3_17","volume-title":"Modular Programming Languages","author":"A. Bergel","year":"2003","unstructured":"Bergel, A., Ducasse, S., Wuyts, R.: Classboxes: A minimal module model supporting local rebinding. In: B\u00f6sz\u00f6rm\u00e9nyi, L., Schojer, P. (eds.) JMLC 2003. LNCS, vol.\u00a02789, pp. 122\u2013131. Springer, Heidelberg (2003)"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Bierman, G., Hicks, M., Sewell, P., Stoyle, G., Wansbrough, K.: Dynamic rebinding for marshalling and update, with destruct-time lambda. In: Proc. ICFP 2003 (August 2003)","DOI":"10.1145\/944705.944715"},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/3-540-36575-3_4","volume-title":"Programming Languages and Systems","author":"S. Drossopoulou","year":"2003","unstructured":"Drossopoulou, S., Lagorio, G., Eisenbach, S.: Flexible models for dynamic linking. In: Degano, P. (ed.) ESOP 2003. LNCS, vol.\u00a02618, pp. 38\u201353. Springer, Heidelberg (2003)"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Qadeer, S.: A type and effect system for atomicity. In: Proc. PLDI 2003 (June 2003)","DOI":"10.1145\/781131.781169"},{"key":"9_CR6","series-title":"ENTCS","volume-title":"Proc. HLCL1998: the 3rd Int\u2019l Workshop on High-Level Concurrent Languages","author":"A.D. Gordon","year":"1998","unstructured":"Gordon, A.D., Hankin, P.D.: A concurrent object calculus: Reduction and typing. In: Proc. HLCL 1998: the 3rd Int\u2019l Workshop on High-Level Concurrent Languages. ENTCS, vol.\u00a016(3). Elsevier, Amsterdam (1998)"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Harris, T., Fraser, K.: Language support for lightweight transactions. In: Proc. OOPSLA 2003 (2003)","DOI":"10.1145\/949305.949340"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Igarashi, A., Pierce, B., Wadler, P.: Featherweight Java: A minimal core calculus for Java and GJ. In: Proc. OOPSLA 1999 (November 1999)","DOI":"10.1145\/320384.320395"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Lee, S.-D., Friedman, D.P.: Quasi-static scoping: Sharing variable bindings across multiple lexical scopes. In: Proc. POPL 1993 (Janurary 1993)","DOI":"10.1145\/158511.158706"},{"key":"9_CR10","series-title":"Lecture Notes in Computer Science","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"G. Lowe","year":"1996","unstructured":"Lowe, G.: Breaking and fixing the Needham-Schroeder public-key protocol using FDR. In: Margaria, T., Steffen, B. (eds.) TACAS 1996. LNCS, vol.\u00a01055. Springer, Heidelberg (1996)"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Leifer, J., Peskine, G., Sewell, P., Wansbrough, K.: Global abstraction-safe marshalling with hash types. In: Proc. ICFP 2003 (2003)","DOI":"10.1145\/944705.944714"},{"key":"9_CR12","unstructured":"MIT. Scheme, http:\/\/www.swiss.ai.mit.edu\/projects\/scheme\/"},{"issue":"3","key":"9_CR13","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1023\/A:1010087314987","volume":"11","author":"L. Moreau","year":"1998","unstructured":"Moreau, L.: A syntactic theory of dynamic binding. Higher-Order and Symbolic Computation\u00a011(3), 233\u2013279 (1998)","journal-title":"Higher-Order and Symbolic Computation"},{"key":"9_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/3-540-45102-1_17","volume-title":"ECOOP 2000 - Object-Oriented Programming","author":"S. Malabarba","year":"2000","unstructured":"Malabarba, S., Pandey, R., Gragg, J., Barr, E., Barnes, J.F.: Runtime support for type-safe dynamic Java classes. In: Bertino, E. (ed.) ECOOP 2000. LNCS, vol.\u00a01850, p. 337. Springer, Heidelberg (2000)"},{"key":"9_CR15","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0304-3975(75)90017-1","volume":"1","author":"G.D. Plotkin","year":"1975","unstructured":"Plotkin, G.D.: Call-by-name, call-by-value and the \u03bb-calculus. Theoretical Computer Science\u00a01, 125\u2013159 (1975)","journal-title":"Theoretical Computer Science"},{"key":"9_CR16","series-title":"Lecture Notes in Computer Science","volume-title":"Selected Areas in Cryptography","author":"O. R\u00fctti","year":"2007","unstructured":"R\u00fctti, O., Wojciechowski, P.T., Schiper, A.: Service Interface: A new abstraction for implementing and composing protocols. In: Biham, E., Youssef, A.M. (eds.) SAC 2006. LNCS, vol.\u00a04356. Springer, Heidelberg (2007)"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"R\u00fctti, O., Wojciechowski, P.T., Schiper, A.: Structural and algorithmic issues of dynamic protocol update. In: Proc. IPDPS 2006: the 20th IEEE Int\u2019l Parallel and Distributed Processing Symposium (April 2006)","DOI":"10.1109\/IPDPS.2006.1639369"},{"key":"9_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/978-3-540-24725-8_18","volume-title":"Programming Languages and Systems","author":"J. Vitek","year":"2004","unstructured":"Vitek, J., Jagannathan, S., Welc, A., Hosking, A.L.: A semantic framework for designer transactions. In: Schmidt, D. (ed.) ESOP 2004. LNCS, vol.\u00a02986, pp. 249\u2013263. Springer, Heidelberg (2004)"},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"Wojciechowski, P.T.: Isolation-only transactions by typing and versioning. In: Proc. PPDP 2005: the 7th ACM-SIGPLAN Int\u2019l Symposium on Principles and Practice of Declarative Programming (July 2005)","DOI":"10.1145\/1069774.1069781"},{"key":"9_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/11494881_18","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"P.T. Wojciechowski","year":"2005","unstructured":"Wojciechowski, P.T., R\u00fctti, O.: On correctness of dynamic protocol update. In: Steffen, M., Zavattaro, G. (eds.) FMOODS 2005. LNCS, vol.\u00a03535, pp. 275\u2013289. Springer, Heidelberg (2005)"},{"key":"9_CR21","unstructured":"Wojciechowski, P.T., R\u00fctti, O., Schiper, A.: SAMOA: A framework for a synchronisation-augmented microprotocol approach. In: Proc. IPDPS 2004: the 18th IEEE Int\u2019l Parallel and Distributed Processing Symposium (April 2004)"}],"container-title":["Lecture Notes in Computer Science","Software Composition"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11821946_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:16:57Z","timestamp":1605644217000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11821946_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540376576","9783540376590"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/11821946_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}