{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:27:44Z","timestamp":1725456464523},"publisher-location":"Berlin, Heidelberg","reference-count":9,"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\/bfb0002872","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T12:29:42Z","timestamp":1132748982000},"page":"1191-1200","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Static granularity optimization of a committed-choice language Fleng"],"prefix":"10.1007","author":[{"given":"Takuya","family":"Araki","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hidehiko","family":"Tanaka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,9,26]]},"reference":[{"key":"160_CR1","unstructured":"T. Araki, Y. Hidaka, H. Nakada, H. Koike, and H. Tanaka. System integration of the parallel inference engine PIE64. In Workshop on Parallel Logic Programming attached to International Symposium on Fifth Generation Computer Systems 1994, Dec. 1994."},{"key":"160_CR2","doi-asserted-by":"crossref","unstructured":"B. C. Massey and E. Tick. Sequentialization of parallel logic programs with mode analysis. In 4th International Conference on Logic Programming and Automated Reasoning. LNCS 698, pages 205\u2013216. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-56944-8_54"},{"key":"160_CR3","doi-asserted-by":"crossref","unstructured":"M. Nilsson and H. Tanaka. Fleng Prolog \u2014 the language which turns supercomputers into Prolog machines. In Logic Programming '86, LNCS 264, pages 170\u2013179. Springer-Verlag, 1989.","DOI":"10.1007\/3-540-18024-9_32"},{"key":"160_CR4","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 POPL '95, pages 259\u2013271. ACM, 1995.","DOI":"10.1145\/199448.199511"},{"key":"160_CR5","doi-asserted-by":"crossref","unstructured":"K. E. Schauser, D. E. Culler, and T. von Eiken. Compiler-controlled multithreading for lenient parallel languages. In FPCA '91, LNCS 523, pages 50\u201372. Springer-Verlag, 1991.","DOI":"10.1007\/3540543961_4"},{"key":"160_CR6","doi-asserted-by":"crossref","unstructured":"K. R. Traub. Multi-thread code generation for dataflow architectures from nonstrict programs. In FPCA '91, LNCS 523, pages 73\u2013101. Springer-Verlag, 1991.","DOI":"10.1007\/3540543961_5"},{"key":"160_CR7","doi-asserted-by":"crossref","unstructured":"K. R. Traub, D. E. Culler, and K. E. Schauser. Global analysis for partitioning non-strict programs into sequential threads. In LFP '92, pages 324\u2013334. ACM, 1992.","DOI":"10.1145\/141478.141568"},{"issue":"6","key":"160_CR8","doi-asserted-by":"publisher","first-page":"494","DOI":"10.1093\/comjnl\/33.6.494","volume":"33","author":"K. Ueda","year":"1990","unstructured":"K. Ueda and T. Chikayama. Design of the kernel language for the parallel inference machine. The Computer Journal, 33(6):494\u2013500, December 1990.","journal-title":"The Computer Journal"},{"key":"160_CR9","unstructured":"K. Ueda and M. Morita. A new implmentation technique for flat GHC. Technical report, ICOT, 1990. TR-560."}],"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\/BFb0002872","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,20]],"date-time":"2020-04-20T00:47:27Z","timestamp":1587343647000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0002872"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540634409","9783540695493"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/bfb0002872","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"}]}}