{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:27:32Z","timestamp":1725456452564},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540634409"},{"type":"electronic","value":"9783540695493"}],"license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0002781","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T12:29:42Z","timestamp":1132748982000},"page":"546-553","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["An efficient compilation framework for languages based on a concurrent process calculus"],"prefix":"10.1007","author":[{"given":"Yoshihiro","family":"Oyama","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kenjiro","family":"Taura","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Akinori","family":"Yonezawa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,9,26]]},"reference":[{"key":"69_CR1","doi-asserted-by":"crossref","unstructured":"A. W. Appel. Compiling with Continuations. Cambridge University Press, 1992.","DOI":"10.1017\/CBO9780511609619"},{"key":"69_CR2","doi-asserted-by":"crossref","unstructured":"T. Araki and H. Tanaka. Static Granularity Optimization of a Committed-Choice Language Fleng. In Proceedings of Euro-Par '97, Passau, Germany, August 1997.","DOI":"10.1007\/BFb0002872"},{"issue":"3","key":"69_CR3","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1006\/jpdc.1993.1070","volume":"18","author":"D.E. Culler","year":"1993","unstructured":"D. E. Culler, S. C. Goldstein, K. E. Schauser, and T. von Eicken. TAM \u2014 A Compiler Controlled Threaded Abstract Machine. Journal of Parallel and Distributed Computing, pages 347\u2013370, July 1993.","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"69_CR4","first-page":"625","volume-title":"Lecture Notes in Computer Science","author":"Haruo Hosoya","year":"1996","unstructured":"H. Hosoya, N. Kobayashi, and A. Yonezawa. Partial Evaluation Scheme for Concurrent Languages and Its Correctness. In Euro-Par'96 Parallel Processing, volume 1123 of LNCS, pages 625\u2013632, 1996."},{"key":"69_CR5","doi-asserted-by":"crossref","unstructured":"A. Igarashi and N. Kobayashi. Type-Based Analysis of Usage of Communication Channels for Concurrent Programming Languages. Technical report, Department of Information Science, University of Tokyo, 1997. (to appear).","DOI":"10.1007\/BFb0032742"},{"key":"69_CR6","doi-asserted-by":"crossref","unstructured":"N. Kobayashi, B. C. Pierce, and D. N. Turner. Linearity and the Pi-Calculus. In Proceedings of POPL '96, pages 358\u2013371, January 1996.","DOI":"10.1145\/237721.237804"},{"key":"69_CR7","doi-asserted-by":"crossref","unstructured":"N. Kobayashi and A. Yonezawa. Higher-Order Concurrent Linear Logic Programming. In Theory and Practice of Parallel Programming, volume 907 of LNCS, pages 137\u2013166. Springer-Verlag, 1995.","DOI":"10.1007\/BFb0026568"},{"key":"69_CR8","doi-asserted-by":"crossref","unstructured":"R. Milner. The polyadic \u03c0-calculus: a tutorial. In Logic and Algebra of Specification. Springer-Verlag, 1993.","DOI":"10.1007\/978-3-642-58041-3_6"},{"key":"69_CR9","doi-asserted-by":"publisher","first-page":"546","DOI":"10.1007\/BFb0002781","volume-title":"Euro-Par'97 Parallel Processing","author":"Yoshihiro Oyama","year":"1997","unstructured":"Y. Oyama, K. Taura, and A. Yonezawa. An Efficient Compilation Framework for Languages Based on Concurrent Process Calculus. Technical report, Department of Information Science, University of Tokyo, 1997. (to appear)."},{"key":"69_CR10","unstructured":"B. C. Pierce and D. N. Turner. Pict: A Programming Language Based on the Pi-Calculus. Technical report, Computer Science Department, Indiana University, 1997. To appear in Milner Festschrift, MIT Press, 1997."},{"key":"69_CR11","doi-asserted-by":"crossref","unstructured":"D. Sangiorgi. The name discipline of uniform receptiveness. In Proceedings of 24th International Colloquium on Automata, Languages, and Programming, July 1997.","DOI":"10.1007\/3-540-63165-8_187"},{"key":"69_CR12","doi-asserted-by":"crossref","unstructured":"K. E. Schauser, D. E. Culler, and S. C. Goldstein. Separation Constraint Partitioning \u2014 A New Algorithm for Partitioning Non-Strict Programs into Sequential Threads. In Proceedings of POPL '95, pages 259\u2013272, January 1995.","DOI":"10.1145\/199448.199511"},{"key":"69_CR13","doi-asserted-by":"crossref","unstructured":"K. Taura and A. Yonezawa. Schematic: A Concurrent Object-Oriented Extension to Scheme. In Proceedings of Workshop on Object-Based Parallel and Distributed Computation, volume 1107 of LNCS, pages 59\u201382. Springer-Verlag, 1996.","DOI":"10.1007\/3-540-61487-7_22"},{"key":"69_CR14","doi-asserted-by":"crossref","unstructured":"K. Taura and A. Yonezawa. Fine-grain Multithreading with Minimal Compiler Support\u2014A Cost Effective Approach to Implementing Efficient Multithreading Languages. In Proceedings of PLDI '97, 1997.","DOI":"10.1145\/258915.258944"},{"key":"69_CR15","unstructured":"D. N. Turner. The Polymorphic Pi-calculus: Theory and Implementation. PhD thesis, University of Edinburgh, 1995."}],"container-title":["Lecture Notes in Computer Science","Euro-Par'97 Parallel Processing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0002781","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,20]],"date-time":"2020-04-20T00:06:13Z","timestamp":1587341173000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0002781"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540634409","9783540695493"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/bfb0002781","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]},"assertion":[{"value":"26 September 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}