{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:22:00Z","timestamp":1725456120700},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540603597"},{"type":"electronic","value":"9783540450481"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0026817","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T10:29:45Z","timestamp":1132396185000},"page":"115-132","source":"Crossref","is-referenced-by-count":7,"title":["Exploiting parallelism in tabled evaluations"],"prefix":"10.1007","author":[{"given":"Juliana","family":"Freire","sequence":"first","affiliation":[]},{"given":"Rui","family":"Hu","sequence":"additional","affiliation":[]},{"given":"Terrance","family":"Swift","sequence":"additional","affiliation":[]},{"given":"David S.","family":"Warren","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,16]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"F. Banchilhon and R. Ramakrishnan. An amateur's introduction to recursive query processing strategies. In Proc. of SIGMOD 1986 Conf., pages 16\u201352. ACM, 1986.","DOI":"10.1145\/16856.16859"},{"key":"9_CR2","unstructured":"R. Bol and L. Degerstedt. Tabulated resolution for the well-founded semantics. In Proc. ILPS'93 Workshop on Programming with Logic Databases. MIT Press, 1993."},{"key":"9_CR3","unstructured":"W. Chen, T. Swift, and D.S. Warren. Efficient implementation of general logical queries. J. Logic Programming. To Appear."},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"W. Chen and D. S. Warren. Query evaluation under the well-founded semantics. In Proc. of 12th PODS, pages 168\u2013179, 1993.","DOI":"10.1145\/153850.153865"},{"key":"9_CR5","unstructured":"M. Codish and B. Demoen. Analysing logic programs using \u2018prop'-ositional logic programs and a magic wand. In Proc. of the Int'l Symp. on Logic Programming, pages 114\u2013130, 1993."},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"S. Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, K. Sagonas, S. Skiena, T. Swift, and D. S. Warren. Unification factoring for efficient execution of logic programs. In Proc. of the 22nd Symp. on Principles of Programming Languages. ACM, 1995.","DOI":"10.1145\/199448.199509"},{"key":"9_CR7","unstructured":"S. Dawson, C.R. Ramakrishnan, and D.S. Warren. Using XSB for abstract interpretation. In Special Workshop on Abstract Interpretation, 1995. Eliat, Israel. To Appear."},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"E.W. Dijkstra, W.H.J Feijen, and A.J.M. van Gasteren. Derivation of a termination detection algorithm for distributed computations. Information Processing Letters, pages 217\u2013219, June 1983.","DOI":"10.1016\/0020-0190(83)90092-3"},{"key":"9_CR9","volume-title":"Technical report","author":"J. Freire","year":"1995","unstructured":"J. Freire, R. Hu, T. Swift, and D.S. Warren. Exploiting parallelism in tabled evaluations. Technical report, SUNY at Stony Brook, 1995. Full version available at urhttp:\/\/www.cs.sunysb.edu\/ sbprolog."},{"key":"9_CR10","unstructured":"M. Hermenegildo and F. Rossi. On the correctness and efficiency of independent and-parallelism in logic programs. In N. Amer. Conf. on Logic Programming., 1989."},{"key":"9_CR11","unstructured":"M. Heimenegildo and F. Rossi. Non-strict independent and-parallelism. In Logic Programming: Proc of the 5th Intl. Conf., pages 237\u2013252, 1990."},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"H. Seki. On the power of Alexander templates. In Proc. of 8th PODS, pages 150\u2013159. ACM, 1989.","DOI":"10.1145\/73721.73737"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"P. Stuckey and S. Sudarshan. Well-founded ordered search. In 13th conference on Foundations of Software Technology and Theoretical Computer Science, pages 161\u2013172, 1993.","DOI":"10.1007\/3-540-57529-4_51"},{"key":"9_CR14","unstructured":"T. Swift and D. S. Warren. An abstract machine for SLG resolution: definite programs. In Proceedings of the Symposium on Logic Programming, pages 633\u2013654, 1994."},{"key":"9_CR15","unstructured":"T. Swift and D. S. Warren. Analysis of sequential SLG evaluation. In Proceedings of the Symposium on Logic Programming, pages 219\u2013238, 1994."},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"H. Tamaki and T. Sato. OLDT resolution with tabulation. In Third Int'l Conf. on Logic Programming, pages 84\u201398, 1986.","DOI":"10.1007\/3-540-16492-8_66"},{"key":"9_CR17","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/0743-7315(84)90002-9","volume":"1","author":"J. D. Ullman","year":"1984","unstructured":"J. D. Ullman. Flux, sorting, and supercomputer organization for AI applications. Journal of Parallel and Distributed Computing, 1:133\u2013151, 1984.","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"9_CR18","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(89)90088-1","volume":"69","author":"L. Vieille","year":"1989","unstructured":"L. Vieille. Recursive query processing: The power of logic. Theoretical Computer Science, 69:1\u201353, 1989.","journal-title":"Theoretical Computer Science"},{"key":"9_CR19","unstructured":"D.H.D. Warren. An abstract Prolog instruction set. Technical report, SRI, 1983."},{"key":"9_CR20","unstructured":"D.H.D. Warren. Or-parallel models of Prolog. In Proceedings of the International Conference on Theory and Practice of Software Development. Springer-Verlag, 1987."}],"container-title":["Lecture Notes in Computer Science","Programming Languages: Implementations, Logics and Programs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0026817","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T01:53:59Z","timestamp":1586570039000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0026817"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540603597","9783540450481"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/bfb0026817","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}