{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:10:22Z","timestamp":1725664222610},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540576594"},{"type":"electronic","value":"9783540483083"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-57659-2_22","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T13:14:41Z","timestamp":1330262081000},"page":"374-389","source":"Crossref","is-referenced-by-count":0,"title":["Loop transformations for Prolog programs"],"prefix":"10.1007","author":[{"given":"David C.","family":"Sehr","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laxmikant V.","family":"Kale","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David A.","family":"Padua","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"22_CR1","unstructured":"A. V. Aho, R. Sethi, and J. D. Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wesley, March 1986."},{"key":"22_CR2","unstructured":"H. Ait-Kaci. The WAM: A (Real) Tutorial. Technical Report, Digital Equipment Corporation, Paris Research Laboratory, January 1990."},{"key":"22_CR3","unstructured":"K. A. M. Ali. The Muse OR-Parallel Prolog Model and its Performance. In Proceedings of the 1990 North American Logic Programming Conference, pages 757\u2013776, 1990."},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"U. Banerjee. Loop Transformations for Restructuring Compilers: the Foundations. Kluwer Academic Publishers, 1993.","DOI":"10.1007\/b102311"},{"key":"22_CR5","unstructured":"J. Chang, A. M. Despain, and D. DeGroot. AND-Parallelism of Logic Programs Based on a Static Data Dependency Analysis. In Proceedings of COMPCON '85, 1985."},{"key":"22_CR6","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/BF03037115","volume":"3","author":"J. S. Conery","year":"1985","unstructured":"J. S. Conery and D. F. Kibler. AND Parallelism and Nondeterminism in Logic Programs. New Generation Computing, 3:43\u201370, 1985.","journal-title":"New Generation Computing"},{"key":"22_CR7","unstructured":"S. K. Debray. A Simple Code Improvement Scheme for Prolog. In Proceedings of the Sixth International Conference on Logic Programming, pages 17\u201332. MIT Press, 1989."},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"M. Hermenegildo. An Abstract Machine for Restricted AND-Parallel Execution of Logic Programs. In Proceedings of the Third International Conference on Logic Programming, pages 25\u201339. Springer-Verlag, 1986.","DOI":"10.1007\/3-540-16492-8_62"},{"key":"22_CR9","series-title":"CSRD Report No. 565","volume-title":"Technical report","author":"W. L. Harrison III","year":"1986","unstructured":"W. L. Harrison, III. Compiling Lisp for Evaluation on a Tightly Coupled Multiprocessor. Technical report, University of Illinois at Urbana-Champaign, March, 1986. CSRD Report No. 565."},{"issue":"2","key":"22_CR10","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/BF00128177","volume":"2","author":"L. V. Kale","year":"1988","unstructured":"L. V. Kale, D. A. Padua, and D. C. Sehr. OR Parallel Execution of Prolog Programs with Side Effects. The Journal of Supercomputing, 2(2):209\u2013223, October 1988.","journal-title":"The Journal of Supercomputing"},{"issue":"Number1","key":"22_CR11","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0743-1066(91)90009-E","volume":"11","author":"L. V. Kale","year":"1991","unstructured":"L. V. Kale. The REDUCE OR Process Model for Parallel Execution of Logic Programs. Journal of Logic Programming, Vol. 11, Number 1, July 1991, pp. 55\u201384.","journal-title":"Journal of Logic Programming"},{"key":"22_CR12","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/BF01379360","volume":"19","author":"L. V. Kale","year":"1990","unstructured":"L. V. Kale, and V. Saletore. Parallel State-space Search for a First Solution. International Journal of Parallel Programming, Vol. 19, 1990, pp. 251\u2013293.","journal-title":"International Journal of Parallel Programming"},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"D. Padua and M. Wolfe. Advanced Compiler Optimizations for Supercomputers. Communications of the ACM, pages 1184\u20131201, December 1986.","DOI":"10.1145\/7902.7904"},{"key":"22_CR14","series-title":"CSRD Report 1288","volume-title":"PhD thesis","author":"D. C. Sehr","year":"1992","unstructured":"D. C. Sehr. Automatic Parallelization of Prolog Programs. PhD thesis, University of Illinois at Urbana-Champaign, October 1992. CSRD Report 1288."},{"key":"22_CR15","unstructured":"D. C. Sehr and L. V. Kale. Estimating the Inherent Parallelism in Prolog Programs. In Proceedings of the International Conference on Fifth Generation Computer Systems 1992, pages 783\u2013790, June 1992."},{"key":"22_CR16","unstructured":"Y.-W. Tung and D. I. Moldovan. Detection of AND Parallelism in Logic Programs. In Proceedings of the 1986 International Conference on Parallel Processing, pages 984\u2013991, August 1986."},{"key":"22_CR17","unstructured":"D. H. D. Warren. The SRI Model for OR Parallel Execution of Prolog \u2014 Abstract Design and Implementation. In Proceedings of the 1987 Symposium on Logic Programming, pages 92\u2013103. IEEE Computer Society Press, September 1987."},{"key":"22_CR18","unstructured":"M. Wise. Prolog Multiprocessors. Prentice-Hall International Publishers, 1986."},{"key":"22_CR19","unstructured":"M. J. Wolfe. Optimizing Supercompilers for Supercomputers. The MIT Press, 1989."}],"container-title":["Lecture Notes in Computer Science","Languages and Compilers for Parallel Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57659-2_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:07:02Z","timestamp":1619572022000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57659-2_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540576594","9783540483083"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-57659-2_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}