{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:50:23Z","timestamp":1725663023801},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540164920"},{"type":"electronic","value":"9783540398318"}],"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-16492-8_88","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:48:23Z","timestamp":1330195703000},"page":"375-388","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Parallel logic programming for numeric applications"],"prefix":"10.1007","author":[{"given":"Ralph","family":"Butler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ewing","family":"Lusk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"William","family":"McCune","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ross","family":"Overbeek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"28_CR1","unstructured":"Keith Clark and Steve Gregory, \u201cPARLOG: Parallel Programming in Logic,\u201d Research Report DOC 84\/4, Department of Computing, Imperial College of Science and Technology (April 1984, revised June, 1985)."},{"key":"28_CR2","doi-asserted-by":"crossref","unstructured":"Keith Clark and Steve Gregory, \u201cPARLOG: Parallel Programming in Logic,\u201d ACM Transactions on Programming Languages and Systems\n8(1) (January, 1986).","DOI":"10.1145\/5001.5390"},{"key":"28_CR3","unstructured":"Barney Glickfeld and Ross Overbeek, \u201cQuasi-automatic parallelization: a simplied approach to multiprocessing,\u201d Technical Report ANL-855-70, Argonne National Laboratory (October 1985)."},{"key":"28_CR4","volume-title":"Design, application and implementation of a parallel logic programming language","author":"S. Gregory","year":"1985","unstructured":"Steven Gregory, Design, application and implementation of a parallel logic programming language, Doctoral Thesis, Imperial College of Science and Technology, London, September 1985."},{"issue":"8","key":"28_CR5","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C. A. R. Hoare","year":"1978","unstructured":"C. A. R. Hoare, \u201cCommunicating Sequential Processes,\u201d Communications of the ACM\n21(8), pp. 666\u2013677 (August 1978).","journal-title":"Communications of the ACM"},{"issue":"3","key":"28_CR6","doi-asserted-by":"crossref","first-page":"835","DOI":"10.1007\/BF03037062","volume":"2","author":"A. J. Kusalik","year":"1984","unstructured":"A. J. Kusalik, \u201cSerialization of process reduction in Concurrent Prolog,\u201d New Generation Computing\n2(3), pp. 835\u2013843 (1984).","journal-title":"New Generation Computing"},{"key":"28_CR7","unstructured":"Ewing L. Lusk and Ross A. Overbeek, \u201cImplementing Multiprocessing Algorithms Now,\u201d pp. 5\u201310 in New Directions in Software for Advanced Computer Architectures, ANL\/MCS-TM-32, MCS, Argonne National Laboratory (August 1984)."},{"key":"28_CR8","unstructured":"E. L. Lusk and R. A. Overbeek, \u201cUse of Monitors in FORTRAN: a Tutorial on the Barrier, Self-Scheduling Do-Loop, and Askfor Monitors,\u201d in Parallel MIMD Computation: The HEP Supercomputer and its Applications, ed. J. S. Kowalik, The MIT Press (1985)."},{"key":"28_CR9","unstructured":"E. L. Lusk, R. L. Stevens, and R. A. Overbeek, \u201cA tutorial on the use of monitors in C: writing portable code for multiprocessors,\u201d ANL-85-2, Argonne National Laboratory (January 1985)."},{"key":"28_CR10","unstructured":"Colin Mierowsky, \u201cDesign and implementation of Flat Concurrent Prolog,\u201d CS84-21, Weizmann Institute of Science (December 1984)."},{"key":"28_CR11","unstructured":"Luis Moniz Pereira and Roger Nasr, \u201cDelta-Prolog: a distributed logic programming language,\u201d in Proceedings of FGCS, Tokyo (November 1984)."},{"key":"28_CR12","unstructured":"Ehud Shapiro, \u201cSystolic programming: a paradigm of parallel processing,\u201d Technical Report CS84-16, Weizmann Institute of Science (January 1985)."},{"key":"28_CR13","unstructured":"Ehud Shapiro, William Silverman, Avshalom Houri, and Michael Hirsch, Logix User Manual for Release 1.1, August, 1985."},{"key":"28_CR14","unstructured":"Ehud Y. Shapiro, A Subset of Concurrent Prolog and Its Interpreter, (preprint, Weizmann Institute of Science, January 1983)."},{"key":"28_CR15","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1002\/spe.4380100203","volume":"10","author":"D. H. D. Warren","year":"1980","unstructured":"D. H. D. Warren, \u201cLogic programming and compiler writing,\u201d Software \u2014 Practice and Experience\n10, pp. 97\u2013125 (1980).","journal-title":"Software \u2014 Practice and Experience"},{"key":"28_CR16","unstructured":"D. H. D. Warren, \u201cAn Abstract Prolog Instruction Set,\u201d SRI Technical Note 309, SRI International (October 1983)."}],"container-title":["Lecture Notes in Computer Science","Third International Conference on Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-16492-8_88","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T12:08:52Z","timestamp":1558267732000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16492-8_88"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540164920","9783540398318"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-16492-8_88","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":"31 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}