{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:27:16Z","timestamp":1761596836002},"reference-count":14,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":5688,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[1998]]},"DOI":"10.1016\/s1571-0661(04)00143-4","type":"journal-article","created":{"date-parts":[[2004,1,29]],"date-time":"2004-01-29T10:14:39Z","timestamp":1075371279000},"page":"205-224","source":"Crossref","is-referenced-by-count":17,"title":["Compiling Join-Patterns1 1This work is partly supported by the ESPRIT CONFER-2 WG-21836"],"prefix":"10.1016","volume":"16","author":[{"given":"Fabrice","family":"Le Fessant","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luc","family":"Maranget","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)00143-4_NEWBIB1","series-title":"Compiling with continuations","author":"Appel","year":"1992"},{"key":"10.1016\/S1571-0661(04)00143-4_NEWBIB2","doi-asserted-by":"crossref","unstructured":"L. Augustsson. Compiling pattern matching. In Proc. of the ACM Functional Programming and Computer Architecture Conference, 1985.","DOI":"10.1007\/3-540-15975-4_48"},{"key":"10.1016\/S1571-0661(04)00143-4_NEWBIB3","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0304-3975(92)90185-I","article-title":"The chemical abstract machine","volume":"96","author":"Berry","year":"1992","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)00143-4_NEWBIB4","doi-asserted-by":"crossref","unstructured":"C. Fournet and G. Gonthier. The reflexive chemical abstract machine and the join-calculus. In 23rd ACM Symposium on Principles of Programming Languages (POPL'96), 1996.","DOI":"10.1145\/237721.237805"},{"key":"10.1016\/S1571-0661(04)00143-4_NEWBIB5","doi-asserted-by":"crossref","unstructured":"C. Fournet, G. Gonthier, J.-J. L\u00e9vy, L. Maranget, and D. R\u00e9my. A calculus of mobile agents. In 7th International Conference on Concurrency Theory (CONCUR'96), 1996. LNCS 1119.","DOI":"10.1007\/3-540-61604-7_67"},{"key":"10.1016\/S1571-0661(04)00143-4_NEWBIB6","doi-asserted-by":"crossref","unstructured":"C. Fournet, C. Laneve, L. Maranget, and D. R\u00e9my. Implicit Typing \u00e0 la ML for the join-calculus. In Proc. of the 1997 8th International Conference on Concurrency Theory. Springer-Verlag, 1997.","DOI":"10.1007\/3-540-63141-0_14"},{"key":"10.1016\/S1571-0661(04)00143-4_NEWBIB7","unstructured":"C. Fournet and L. Maranget. The join system. Software and documentation available on the Web, http:\/\/pauillac.inria.fr\/join\/, 1997."},{"key":"10.1016\/S1571-0661(04)00143-4_NEWBIB8","unstructured":"F. Le Fessant. The jocaml system prototype. Software and documentation available on the Web, http:\/\/pauillac.inria.fr\/jocaml\/, 1998."},{"key":"10.1016\/S1571-0661(04)00143-4_NEWBIB9","unstructured":"X. Leroy, J. Vouillon, and D. Doligez. The Objective Caml system. Software and documentation available on the Web, http:\/\/pauillac.inria.fr\/ocaml\/, 1996."},{"key":"10.1016\/S1571-0661(04)00143-4_NEWBIB10","doi-asserted-by":"crossref","unstructured":"L. Maranget. Compiling lazy pattern matching. In Proc. of the 1992 conference on Lisp and Functional Programming. ACM Press, 1992.","DOI":"10.1145\/141471.141499"},{"key":"10.1016\/S1571-0661(04)00143-4_NEWBIB11","unstructured":"R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes: part 1. Research Report ECS-LFCS-89\u201385, University of Edinburgh, 1989."},{"key":"10.1016\/S1571-0661(04)00143-4_NEWBIB12","unstructured":"L. Padovani. The bologna join system. Software and documentation (in italian) available on the Web, ftp:\/\/ftp.cs.unibo.it\/pub\/aserti\/jcb01.tar.gz, 1997."},{"key":"10.1016\/S1571-0661(04)00143-4_NEWBIB13","unstructured":"D. A. Schmidt. Trace-based abstract interpretation of operational semantics. Journal of Lisp and Symbolic Computation, to appear. Preliminary version at http:\/\/www.cis.ksu.edu\/schmidt\/papers\/aiosh.ps.Z."},{"key":"10.1016\/S1571-0661(04)00143-4_NEWBIB14","doi-asserted-by":"crossref","unstructured":"M. Shapiro, P. Dickman, and D. Plainfoss\u00e9. SSP chains: Robust, distributed references supporting acyclic garbage collection. Repport de Recherche 1799, INRIA, Nov. 1992. Also available as Broadcast Technical Report #1 and at http:\/\/www-sor.inria.fr\/publi\/SSPC_rr1799.html.","DOI":"10.1145\/135419.135448"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104001434?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104001434?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,15]],"date-time":"2019-02-15T09:53:53Z","timestamp":1550224433000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104001434"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"references-count":14,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1998]]}},"alternative-id":["S1571066104001434"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)00143-4","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[1998]]}}}