{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:07:16Z","timestamp":1725494836641},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540665885"},{"type":"electronic","value":"9783540481188"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48118-4_2","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T20:30:57Z","timestamp":1194985857000},"page":"963-982","source":"Crossref","is-referenced-by-count":1,"title":["A framework for defining Object-Calculi extended abstract"],"prefix":"10.1007","author":[{"given":"Fr\u00e9d\u00e9ric","family":"Lang","sequence":"first","affiliation":[]},{"given":"Pierre","family":"Lescanne","sequence":"additional","affiliation":[]},{"given":"Luigi","family":"Liquori","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,9,17]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"M. Abadi and L. Cardelli. A Theory of Objects. Springer-Verlag, 1996.","DOI":"10.1007\/978-1-4419-8598-9"},{"issue":"4","key":"2_CR2","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1017\/S0956796800000186","volume":"1","author":"M. Abadi","year":"1991","unstructured":"M. Abadi, L. Cardelli, P.-L. Curien, and J.-J. L\u00e9vy. Explicit substitutions. Journal of Functional Programming, 1(4):375\u2013416, 1991.","journal-title":"Journal of Functional Programming"},{"key":"2_CR3","unstructured":"Z.-E.-A. Benaissa. Les calculs de substitutions explicites comme fondement de l\u2019implantation des langages fonctionnels. PhD thesis, Universit\u00e9 Henri Poincar\u00e9 Nancy 1, 1997. In french."},{"key":"2_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1007\/3-540-61756-6_99","volume-title":"Proc. of PLILP","author":"Z.-E.-A. Benaissa","year":"1996","unstructured":"Z.-E.-A. Benaissa, K.H. Rose, and P. Lescanne. Modeling sharing and recursion for weak reduction strategies using explicit substitution. In Proc. of PLILP, number 1140 in Lecture Notes in Computer Science, pages 393\u2013407. Springer-Verlag, 1996."},{"key":"2_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"462","DOI":"10.1007\/BFb0054104","volume-title":"Proc. of ECOOP","author":"V. Bono","year":"1998","unstructured":"V. Bono and K. Fisher. An imperative first-order calculus with object extension. In Proc. of ECOOP, volume 1445 of Lecture Notes in Computer Science, pages 462\u2013497. Springer-Verlag, 1998."},{"issue":"1","key":"2_CR6","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"},{"key":"2_CR7","unstructured":"C. Chambers. The Cecil language specification, and rationale. Technical Report 93-03-05, University of Washington, Department of Computer Science and Engineering, 1993."},{"issue":"2","key":"2_CR8","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1145\/226643.226675","volume":"43","author":"P.-L. Curien","year":"1996","unstructured":"P.-L. Curien, T. Hardin, and J.-J. L\u00e9vy. Confluence properties of weak and strong calculi of explicit substitutions. Journal of the ACM, 43(2):362\u2013397, 1996.","journal-title":"Journal of the ACM"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"P. Di Gianantonio, F. Honsell, and L. Liquori. A lambda calculus of objects with self-inflicted extension. In Proc. of OOPSLA, pages 166\u2013178. The ACM Press, 1998.","DOI":"10.1145\/286936.286955"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"M. Felleisen and R. Hieb. The revised report on the syntactic theories of sequential control and state. Theoretical Computer Science, 102, 1992.","DOI":"10.1016\/0304-3975(92)90014-7"},{"issue":"1","key":"2_CR11","first-page":"3","volume":"1","author":"K. Fisher","year":"1994","unstructured":"K. Fisher, F. Honsell, and J. C. Mitchell. A lambda calculus of objects and method specialization. Nordic Journal of Computing, 1(1):3\u201337, 1994.","journal-title":"Nordic Journal of Computing"},{"key":"2_CR12","unstructured":"F. Lang. Mod\u00e8les de la \u00df-r\u00e9duction pour les implantations. PhD thesis, \u00c9cole Normale Sup\u00e9rieure de Lyon, 1998. In french."},{"key":"2_CR13","unstructured":"F. Lang, D. Dougherty, P. Lescanne, and K. H. Rose. Addressed term rewriting systems. Research Report RR 1999-30, Laboratoire de l\u2019Informatique du Parall\u00e9lisme, \u00c9cole Normale Sup\u00e9rieure de Lyon, 1999."},{"key":"2_CR14","unstructured":"F. Lang, P. Lescanne, and L. Liquori. A framework for defining object calculi. Research Report RR 1998-51, Laboratoire de l\u2019Informatique du Parall\u00e9lisme, \u00c9cole Normale Sup\u00e9rieure de Lyon, 1998."},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"P. Lescanne. From \u03bb\u03c3 to \u03bb\u03c5, a journey through calculi of explicit substitutions. In Proc. of POPL, pages 60\u201369, 1994.","DOI":"10.1145\/174675.174707"},{"key":"2_CR16","unstructured":"T. Lindholm and F. Yellin. The Java Virtual Machine specification. Addison-Wesley Publishing Company, 1996."},{"key":"2_CR17","unstructured":"J. Peterson, K. Hammond, L. Augustsson, B. Boutel, W. Burton, J. Fasel, A. Gordon, J. Hughes, P. Hudak, T. Johnsson, M. Jones, E. Meijer, S. Peyton Jones, A. Reid, and P. Wadler. Haskell 1.4, a non strict purely functional language, 1997."},{"key":"2_CR18","unstructured":"K. H. Rose. Operational reduction models for functional programming languages. PhD thesis, DIKU, K\u2205benhavn, 1996."},{"key":"2_CR19","unstructured":"A. Tailvalsaari. Kevo, a prototype-based object-oriented language based on concatenation and modules operations. Technical Report LACIR 92-02, University of Victoria, 1992."},{"issue":"1","key":"2_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(90)90018-D","volume":"89","author":"M. Tofte","year":"1990","unstructured":"M. Tofte. Type inference for polymorphic references. Information and Computation, 89(1):1\u201334, 1990.","journal-title":"Information and Computation"},{"key":"2_CR21","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1002\/spe.4380090105","volume":"9","author":"D. A. Turner","year":"1979","unstructured":"D. A. Turner. A new implementation technique for applicative languages. Software Practice and Experience, 9:31\u201349, 1979.","journal-title":"Software Practice and Experience"},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"D. Ungar and B. Smith, R. Self: the power of simplicity. In Proc. of OOPSLA, pages 227\u2013241. The ACM Press, 1987.","DOI":"10.1145\/38807.38828"},{"key":"2_CR23","unstructured":"C. P. Wadsworth. Semantics and pragmatics of the lambda calculus. PhD thesis, Oxford, 1971."},{"issue":"1","key":"2_CR24","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1006\/inco.1994.1093","volume":"115","author":"A. K. Wright","year":"1994","unstructured":"A. K. Wright and M. Felleisen. A syntactic approach to type soundness. Information and Computation, 115(1):38\u201394, 1994.","journal-title":"Information and Computation"}],"container-title":["Lecture Notes in Computer Science","FM\u201999 \u2014 Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48118-4_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T07:29:57Z","timestamp":1556954997000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48118-4_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540665885","9783540481188"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-48118-4_2","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}