{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:17:37Z","timestamp":1725664657360},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540616269"},{"type":"electronic","value":"9783540706335"}],"license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"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":[[1996]]},"DOI":"10.1007\/3-540-61626-8_83","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:06:55Z","timestamp":1330276015000},"page":"625-632","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":13,"title":["Partial evaluation scheme for concurrent languages and its correctness"],"prefix":"10.1007","author":[{"given":"Haruo","family":"Hosoya","sequence":"first","affiliation":[]},{"given":"Naoki","family":"Kobayashi","sequence":"additional","affiliation":[]},{"given":"Akinori","family":"Yonezawa","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"83_CR1","unstructured":"A. W. Appel. Compiling with Continuation. Cambridge University Press, 1992."},{"key":"83_CR2","unstructured":"R. Baier, R. Gl\u00fck, and R. Z\u00f6chling. Partial evaluation of numerical programs in Fortran. In Proceedings of Partial Evaluation and Semantics-Based Program Manipulation, pages 119\u2013132, 1994."},{"key":"83_CR3","doi-asserted-by":"crossref","unstructured":"N. Heintze. Set-based analysis of ML programs. In proceedings of the 1994 Conference on Lisp and Functional Programming, pages 306\u2013317, 1994.","DOI":"10.1145\/182590.182495"},{"key":"83_CR4","unstructured":"H.Fujita, A.Okamura, and K.Furukawa. Partial evaluation of GHC programs based on the UR-set with constraints. In proceedings of Logic Programming: Fifth International Conference and Symposium, pages 924\u2013941, 1988."},{"key":"83_CR5","doi-asserted-by":"crossref","unstructured":"H. Hosoya, N. Kobayashi, and A. Yonezawa. Partial evaluation for concurrent languages and its correctness. Technical report of the Department of Information Science, the University of Tokyo, 1996. to appear.","DOI":"10.1007\/3-540-61626-8_83"},{"key":"83_CR6","unstructured":"N. D. Jones, C. K. Gomard, and P. Sestoft. Partial Evaluation and Automatic Program Generation. Prentice Hall, 1993."},{"key":"83_CR7","doi-asserted-by":"crossref","unstructured":"N. Kobayashi, M. Nakade, and A. Yonezawa. Static analysis of communication for asynchronous concurrent programming languages. In Second International Static Analysis Symposium (SAS'95), volume 983 of Lecture Notes in Computer Science, pages 225\u2013242. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-60360-3_42"},{"key":"83_CR8","doi-asserted-by":"crossref","unstructured":"N. Kobayashi, B. C. Pierce, and D. N. Turner. Linearity and the pi-calculus. In Proceedings of ACM SIGACT\/SIGPLAN Symposium on Principles of Programming Languages, pages 358\u2013371, 1996.","DOI":"10.1145\/237721.237804"},{"key":"83_CR9","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 Lecture Notes in Computer Science, pages 137\u2013166. Springer-Verlag, 1995.","DOI":"10.1007\/BFb0026568"},{"key":"83_CR10","doi-asserted-by":"crossref","unstructured":"H. Masuhara, S. Matsuoka, K. Asai, and A. Yonezawa. Compiling away the metalevel in object-oriented concurrent reflective languages using partial evaluation. In Proceedings of ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA '95), pages 300\u2013315, 1995.","DOI":"10.1145\/217838.217869"},{"key":"83_CR11","doi-asserted-by":"crossref","first-page":"685","DOI":"10.1007\/3-540-55719-9_114","volume":"623","author":"R. Milner","year":"1992","unstructured":"R. Milner and D. Sangiorgi. Barbed bisimulation. In 19th ICALP, volume 623 of Lecture Notes in Computer Science, pages 685\u2013695, 1992.","journal-title":"Lecture Notes in Computer Science"},{"key":"83_CR12","doi-asserted-by":"crossref","unstructured":"B. C. Pierce and D. N. Turner. Concurrent objects in a process calculus. In Theory and Practice of Parallel Programming (TPPP), volume 907 of Lecture Notes in Computer Science, pages 187\u2013215. Springer-Verlag, 1995.","DOI":"10.1007\/BFb0026570"},{"key":"83_CR13","doi-asserted-by":"crossref","unstructured":"J. Plevyak, X. Zhang, and A. A.Chien. Obtaining sequential efficiency for concurrent object-oriented languages. In Proceedings of ACM SIGACT\/SIGPLAN Symposium on Principles of Programming Languages, pages 311\u2013321, 1995.","DOI":"10.1145\/199448.199524"},{"key":"83_CR14","unstructured":"E. Ruf. Topics in Online Partial Evaluation. PhD thesis, Stanford University, 1993. (Technical Reprt CSL-TR-93-563)."},{"key":"83_CR15","doi-asserted-by":"crossref","unstructured":"K. Taura, S. Matsuoka, and A. Yonezawa. Stack Threads: An abstract machine for scheduling fine-grain threads on stock cpus. In Proceedings of Workshop on Theory and Practice of Parallel Programming, number 907 in Lecture Notes on Computer Science, pages 121\u2013136. Springer Verlag, 1994.","DOI":"10.1007\/BFb0026567"}],"container-title":["Lecture Notes in Computer Science","Euro-Par'96 Parallel Processing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61626-8_83","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,19]],"date-time":"2020-04-19T20:27:59Z","timestamp":1587328079000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61626-8_83"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540616269","9783540706335"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-61626-8_83","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]},"assertion":[{"value":"8 June 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"}]}}