{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:06:08Z","timestamp":1725663968637},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540581840"},{"type":"electronic","value":"9783540484776"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58184-7_121","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:29:10Z","timestamp":1330270150000},"page":"438-452","source":"Crossref","is-referenced-by-count":3,"title":["Improving the execution of the dependent and-parallel Prolog DDAS"],"prefix":"10.1007","author":[{"given":"Kish","family":"Shen","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"37_CR1","doi-asserted-by":"crossref","unstructured":"H. Ait-Kaci. Warren's Abstract Machine, A Tutorial Reconstruction. The MIT Press, 1991.","DOI":"10.7551\/mitpress\/7160.001.0001"},{"key":"37_CR2","unstructured":"M. Carlsson. SICStus Prolog Internals Manual. SICS, 1989."},{"key":"37_CR3","unstructured":"D. DeGroot. Restricted AND-Parallelism. In Proc. FGCS'84, 1984."},{"key":"37_CR4","unstructured":"G. Gupta and M. V. Hermenegildo. Recomputation based Implementation of And-Or Parallel Prolog. In Proceedings of FGCS'92, Vol. 2. ICOT, 1992."},{"key":"37_CR5","volume-title":"PhD thesis","author":"M. V. Hermenegildo","year":"1986","unstructured":"M. V. Hermenegildo. An Abstract Machine Based Execution Model for Computer Architecture Design and Efficient Implementation of Logic Programs in Parallel. PhD thesis, The University of Texas At Austin, 1986."},{"key":"37_CR6","unstructured":"M. V. Hermenegildo and K. J. Green. &-Prolog and its Performance: Exploiting Independent And-Parallelism. In Proc. Seventh ICLP. MIT Press, 1990."},{"key":"37_CR7","unstructured":"M. V. Hermenegildo and F. Rossi. Non-Strict Independent And-Parallelism. In Proc. Seventh ICLP, 1990."},{"key":"37_CR8","unstructured":"K. Shen. Exploiting And-parallelism in Prolog: the Dynamic Dependent And-parallel Scheme (DDAS). In Proc. Joint ICLP\/SLP. MIT Press, 1992."},{"key":"37_CR9","unstructured":"K. Shen. Studies of And\/Or Parallelism in Prolog. PhD thesis, Computer Laboratory, University of Cambridge, 1992."},{"key":"37_CR10","unstructured":"K. Shen. Implementing Dynamic Dependent And-parallelism. In Proc. Tenth ICLP. MIT Press, 1993."},{"key":"37_CR11","volume-title":"PhD thesis","author":"H. Tebra","year":"1989","unstructured":"H. Tebra. Optimistic And-Parallelism in Prolog. PhD thesis, Vrije Universiteit te Amsterdam, 1989."},{"key":"37_CR12","unstructured":"D. H. D. Warren. An Abstract Prolog Instruction Set. Technical report, SRI International, 1983."},{"key":"37_CR13","unstructured":"R. Warren, M. V. Hermenegildo, and S. K. Debray. On the Practicality of Global Flow Analysis of Logic Programs. In Proc. Fifth ICLP\/SLP, 1988."}],"container-title":["Lecture Notes in Computer Science","PARLE'94 Parallel Architectures and Languages Europe"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58184-7_121.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:12:12Z","timestamp":1619572332000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58184-7_121"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540581840","9783540484776"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-58184-7_121","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}