{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T04:05:14Z","timestamp":1746331514820,"version":"3.40.4"},"reference-count":14,"publisher":"Elsevier","isbn-type":[{"type":"print","value":"9780080422367"}],"license":[{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1016\/b978-0-08-042236-7.50051-1","type":"book-chapter","created":{"date-parts":[[2014,7,1]],"date-time":"2014-07-01T09:24:54Z","timestamp":1404206694000},"page":"299-305","source":"Crossref","is-referenced-by-count":0,"title":["CONTINUATION COMPILATION FOR CONCURRENT LOGIC PROGRAMMING"],"prefix":"10.1016","author":[{"given":"B.","family":"Kemp","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Soper","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"King","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/B978-0-08-042236-7.50051-1_bib1","doi-asserted-by":"crossref","unstructured":"M. Codish, M. Falaschi, K. Marriott, and W. Winsborough, Efficient Analysis of Concurrent Constraint Logic Programs. In 20th International Colloquium on Automata, Languages, and Programming, Springer-Verlag, 1993.","DOI":"10.1007\/3-540-56939-1_108"},{"key":"10.1016\/B978-0-08-042236-7.50051-1_bib2","unstructured":"D. Cohen, M. M. Huntbach, and G. A. Ringwood, Logical occam. Technical report, Dept. of Computer Science, Queen Mary and Westfield College, 1991."},{"issue":"1, 2, 3 and 4","key":"10.1016\/B978-0-08-042236-7.50051-1_bib3","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/0743-1066(92)90030-7","article-title":"Abstract interpretation and application to logic programs","volume":"13","author":"Cousot","year":"1992","journal-title":"J. of Logic Programming"},{"key":"10.1016\/B978-0-08-042236-7.50051-1_bib4","unstructured":"N. A. Elshiewy, Sandra: Robust Coordinated Reactive Computing. PhD thesis, Dept. of Telecommunications and Computer Systems, 1990."},{"key":"10.1016\/B978-0-08-042236-7.50051-1_bib5","unstructured":"I. Foster and W. Winsborough, Copy avoidance through compile-time analysis and local reuse. In SLP'91, pages 455\u2013469, San Diego, USA, 1991. MIT Press."},{"key":"10.1016\/B978-0-08-042236-7.50051-1_bib6","series-title":"An Abstract KL1 machine and its instruction set","first-page":"468","author":"Kimura","year":"1987"},{"year":"1992","series-title":"Serialisation analysis of concurrent logic programs","author":"King","key":"10.1016\/B978-0-08-042236-7.50051-1_bib7"},{"key":"10.1016\/B978-0-08-042236-7.50051-1_bib8","doi-asserted-by":"crossref","unstructured":"M. Korsloot and E. Tick, Sequentializing parallel programs. In Phoenix Seminar and Workshop on Declarative Programming, Sasbachwalden, Germany, November (1991). Springer-Verlag.","DOI":"10.1007\/978-1-4471-3794-8_20"},{"year":"1993","series-title":"The diadorra principle: Efficient execution of fine-grain concurrent languages","author":"Massey","key":"10.1016\/B978-0-08-042236-7.50051-1_bib9"},{"key":"10.1016\/B978-0-08-042236-7.50051-1_bib10","doi-asserted-by":"crossref","unstructured":"B. C. Massey and E. Tick, Sequentialisation of parallel logic programs with mode analysis. In LPAR'93, 1993.","DOI":"10.1007\/3-540-56944-8_54"},{"key":"10.1016\/B978-0-08-042236-7.50051-1_bib11","series-title":"Variable threadedness analysis for concurrent logic programs","first-page":"493","author":"Sundararajan","year":"1992"},{"year":"1989","series-title":"Strand: New Concepts in Parallel Programming","author":"Taylor","key":"10.1016\/B978-0-08-042236-7.50051-1_bib12"},{"key":"10.1016\/B978-0-08-042236-7.50051-1_bib13","series-title":"A new implementation technique for Flat GHC","first-page":"3","author":"Ueda","year":"1990"},{"key":"10.1016\/B978-0-08-042236-7.50051-1_bib14","series-title":"Message-orientated parallel implementation of model flat ghc","first-page":"799","author":"Ueda","year":"1992"}],"container-title":["Artificial Intelligence in Real-Time Control 1994"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:B9780080422367500511?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:B9780080422367500511?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T16:01:04Z","timestamp":1746288064000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/B9780080422367500511"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9780080422367"],"references-count":14,"URL":"https:\/\/doi.org\/10.1016\/b978-0-08-042236-7.50051-1","relation":{},"subject":[],"published":{"date-parts":[[1995]]}}}