{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:57:49Z","timestamp":1725663469736},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540568919"},{"type":"electronic","value":"9783540477792"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56891-3_22","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:48:34Z","timestamp":1330256914000},"page":"279-290","source":"Crossref","is-referenced-by-count":2,"title":["Exploiting recursion-parallelism in Prolog"],"prefix":"10.1007","author":[{"given":"Johan","family":"Bevemyr","sequence":"first","affiliation":[]},{"given":"Thomas","family":"Lindgren","sequence":"additional","affiliation":[]},{"given":"H\u00e5kan","family":"Millroth","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"22_CR1","doi-asserted-by":"crossref","unstructured":"G. Bell, Ultracomputers: a Teraflop before its time, Comm. ACM, Vol. 35, No. 8, 1992.","DOI":"10.1145\/135226.135227"},{"key":"22_CR2","unstructured":"J. Bevemyr, A Recursion-Parallel Prolog Engine, PhL Thesis, Computing Science Department, Uppsala University, 1993."},{"key":"22_CR3","unstructured":"J. Bevemyr, T. Lindgren & H. Millroth, Reform Prolog: The Language and its Implementation, to appear in: Proc. 10th Int. Conf. Logic Programming, MIT Press, 1993."},{"key":"22_CR4","unstructured":"T. Lindgren, The Compilation and Execution of Recursion-Parallel Prolog on Shared Memory Multiprocessors, PhL Thesis, Computing Science Department, Uppsala University, May, 1993 (expected)."},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"S.K. Debray & D.S. Warren, Automatic Mode Inference for Logic programs, J. Logic Programming, Vol. 5, No. 3, 1988.","DOI":"10.1016\/0743-1066(88)90010-6"},{"key":"22_CR6","volume-title":"Reforming Compilation of Logic Programs","author":"H. Millroth","year":"1991","unstructured":"H. Millroth, Reforming Compilation of Logic Programs, Proc. Int. Symp. Logic Programming, San Diego, Calif., MIT Press, 1991."},{"key":"22_CR7","unstructured":"L. Naish, Parallelizing NU-Prolog, Proc. 5th Int. Conf. Symp. Logic Programming, MIT Press, 1988."},{"key":"22_CR8","volume-title":"NUA-Prolog: An Extension to the WAM for Parallel Andorra","author":"D. Palmer","year":"1991","unstructured":"D. Palmer and L. Naish, NUA-Prolog: An Extension to the WAM for Parallel Andorra, Proc. 8th Int. Conf. Logic Programming, Paris, MIT Press, 1991."},{"key":"22_CR9","volume-title":"The Andorra-I Engine: A Parallel Implementation of the Basic Andorra Model","author":"V. S. Costa","year":"1991","unstructured":"V. Santos Costa, D.H.D. Warren and R. Yang, The Andorra-I Engine: A Parallel Implementation of the Basic Andorra Model, Proc. 8th Int. Conf. Logic Programming, Paris, MIT Press, 1991."},{"key":"22_CR10","unstructured":"P. Tang and P.-C. Yew, Processor Self-Scheduling for Multiple Nested Parallel Loops, Proc. 1986 Int. Conf. Parallel Processing, 1986."},{"key":"22_CR11","unstructured":"S.-\u00c5. T\u00e4rnlund, Reform, report, Computing Science Dept., Uppsala University, 1991."},{"key":"22_CR12","volume-title":"An Abstract Prolog Instruction Set, SRI Tech. Note 309","author":"D. H. D. D. Warren","year":"1983","unstructured":"D.H.D. Warren, An Abstract Prolog Instruction Set, SRI Tech. Note 309, SRI International, Menlo Park, Calif., 1983."}],"container-title":["Lecture Notes in Computer Science","PARLE '93 Parallel Architectures and Languages Europe"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56891-3_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:06:45Z","timestamp":1605647205000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56891-3_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540568919","9783540477792"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-56891-3_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}