{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:18:41Z","timestamp":1742617121015,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540164425"},{"type":"electronic","value":"9783540397823"}],"license":[{"start":{"date-parts":[[1986,1,1]],"date-time":"1986-01-01T00:00:00Z","timestamp":504921600000},"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":[[1986]]},"DOI":"10.1007\/3-540-16442-1_23","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:40:54Z","timestamp":1330195254000},"page":"301-314","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Compiling Extended Concurrent Prolog -single queue compilation-"],"prefix":"10.1007","author":[{"given":"Jiro","family":"Tanaka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Makoto","family":"Kishishita","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"unstructured":"Clark K, Gregory S (1984) Notes on Systems Programming in Parlog. Proceedings of the International Conference on Fifth Generation Computer Systems 299\u2013306","key":"23_CR1"},{"unstructured":"Clark K, Gregory S (1985) PARLOG: Parallel Programming in Logic. Research Report DOC 84\/4. Department of Computing, Imperial College of Science and Technology. Revised June 1985","key":"23_CR2"},{"unstructured":"Fujitsu (1985) The Verifying Software of Kernel Language Version 1 \u2014 the Revised Detailed Specification and the Evaluation Result-, PART I. In: The 1984 Report on Committed Development on Computer Basic Technology, in Japanese","key":"23_CR3"},{"unstructured":"Furukawa K et al. (1984) The Conceptual Specification of the Kernel Language Version 1. Technical Report TR-054. ICOT","key":"23_CR4"},{"unstructured":"Miyazaki T et al. (1985) A Sequential Implementation of Concurrnet Prolog Based on Shallow Binding Scheme. Proceedings of 1985 Symposium on Logic Programming 110\u2013118","key":"23_CR5"},{"unstructured":"Murakami K (1985) The study of \u201cunifier\u201d implementation in multi-processor environment. Multi-SIM study group internal document, ICOT","key":"23_CR6"},{"unstructured":"Shapiro E (1983) A Subset of Concurrent Prolog and its Interpreter. Technical Report TR-003. ICOT","key":"23_CR7"},{"key":"23_CR8","volume-title":"Logix User Manual for Release 1.1","author":"E Shapiro","year":"1985","unstructured":"Shapiro E et al. (1985) Logix User Manual for Release 1.1. Weizmann Institute, Israel"},{"unstructured":"Tanaka J et al. (1984) A Sequential Implementation of Concurrent Prolog \u2014 based on the Lazy Copying Scheme. Proceedings of the First National Conference of Japan Society for Software Science and Technology 303\u2013306, in Japanese","key":"23_CR9"},{"doi-asserted-by":"crossref","unstructured":"Tanaka J et al. (1985a) AND-OR Queuing in Extended Concurrent Prolog. Proceedings of the Logic Programming Conference '85 215\u2013224, in Japanese. English version is to appear in Lecture Notes in Computer Science, Springer","key":"23_CR10","DOI":"10.1007\/3-540-16479-0_16"},{"unstructured":"Tanaka J et al. (1985b) Single Queue Compilation in Extended Concurrent Prolog. Mathematical Methods in Software Science and Engineering, RIMS Kokyuroku, Research Institute for Mathematical Science, Kyoto University","key":"23_CR11"},{"unstructured":"Tanaka J, Kishishita M. (1985c) Message Based Module Structure for Parallel Logic Languages. To appear in Proceedings of the Second National Conference of Japan Society for Software Science and Technology, in Japanese","key":"23_CR12"},{"unstructured":"Ueda K, Chikayama T (1985a) Concurrent Prolog Compiler on Top of Prolog. Proceedings of 1985 Symposium on Logic Programming 119\u2013126","key":"23_CR13"},{"doi-asserted-by":"crossref","unstructured":"Ueda K (1985b) Guarded Horn Clauses. Technical Report TR-103. ICOT","key":"23_CR14","DOI":"10.1007\/3-540-16479-0_17"}],"container-title":["Lecture Notes in Computer Science","ESOP 86"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-16442-1_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T20:26:48Z","timestamp":1742588808000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16442-1_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540164425","9783540397823"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-16442-1_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1986]]},"assertion":[{"value":"29 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}