{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,20]],"date-time":"2024-12-20T05:29:46Z","timestamp":1734672586665,"version":"3.32.0"},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1988,10,1]],"date-time":"1988-10-01T00:00:00Z","timestamp":591667200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Supercomput"],"published-print":{"date-parts":[[1988,10]]},"DOI":"10.1007\/bf00128177","type":"journal-article","created":{"date-parts":[[2004,11,2]],"date-time":"2004-11-02T18:04:40Z","timestamp":1099418680000},"page":"209-223","source":"Crossref","is-referenced-by-count":12,"title":["OR parallel execution of Prolog programs with side effects"],"prefix":"10.1007","volume":"2","author":[{"given":"Laxmikant V.","family":"Kale","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David A.","family":"Padua","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David C.","family":"Sehr","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"CR1","doi-asserted-by":"crossref","first-page":"841","DOI":"10.1145\/322326.322339","volume":"29","author":"K. R. Apt","year":"1982","unstructured":"Apt, K. R., and van Emden, M. H. 1982. Contributions to the theory of logic programming.Journal of the ACM, 29 (3): 841?862.","journal-title":"Journal of the ACM"},{"key":"CR2","unstructured":"Borgwardt, P. 1984. Parallel Prolog using stack segments on shared-memory multiprocessors. In International Symposium on Logic Programming (Atlantic City, Feb.), IEEE, pp. 2?11."},{"key":"CR3","first-page":"83","volume-title":"Logic Programming","author":"M. Bruynooghe","year":"1982","unstructured":"Bruynooghe, M. 1982. The memory management of Prolog implementations. In Logic Programming (K. L. Clark and S. A. Tarnlund, eds.), Academic Press, London, pp. 83?98."},{"key":"CR4","volume-title":"Information Processing","author":"A. Ciepielewski","year":"1983","unstructured":"Ciepielewski, A., and Haridi, S. 1983. A formal model for the or-parallel parallel execution of logic programs. In Information Processing (R.E.A. Mason, ed.), Eisevier, Amsterdam."},{"issue":"1","key":"CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/5001.5390","volume":"8","author":"K. Clark","year":"1986","unstructured":"Clark, K., and Gregory, S. 1986. PARLOG: Parallel programming in logic.ACM Transactions on Programming Languages and Systems, 8 (1): 1?49.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"CR6","unstructured":"Conery, J. 1987. Binding environments for parallel logic programs in non-shared memory multiprocessors. In Proceedings of the 1987 Symposium on Logic Programming (San Francisco, Aug. 31-Sept. 4), IEEE Computer Society Press, p. 457?467."},{"issue":"10","key":"CR7","doi-asserted-by":"crossref","first-page":"667","DOI":"10.1145\/362759.362813","volume":"14","author":"P.J. Courtois","year":"1971","unstructured":"Courtois, P.J., Heymans, F., and Parnas, D.L. 1971. Concurrent control with readers and writers.Comm. ACM, 14 (10): 667?668.","journal-title":"Comm. ACM"},{"key":"CR8","unstructured":"DeGroot, D. 1987. Restricted and-parallelism and side effects. In Proceedings of the 1987 Symposium on Logic Programming (San Francisco, Aug. 31?Sept. 4), IEEE Computer Society Press, pp. 80?89."},{"key":"CR9","doi-asserted-by":"crossref","unstructured":"Harrison, W. L., and Padua, D. A. 1988. PARCEL: Project for the automatic restructuring and concurrent evaluation of lisp. To appear in Proceedings of the 1988 International Conference on Supercomputing (Saint-Malo, France, July 4?8).","DOI":"10.1145\/55364.55416"},{"key":"CR10","unstructured":"Hausman, B., Ciepielewski, A., and Haridi, S. 1987. Or-parallel Prolog made efficient on shared memory multiprocessors. In Proceedings of the 1987 Symposium on Logic Programming (San Francisco, Aug. 31?Sept. 4), IEEE Computer Society Press, pp. 69?79."},{"issue":"10","key":"CR11","doi-asserted-by":"crossref","first-page":"549","DOI":"10.1145\/355620.361161","volume":"17","author":"C. A. R. Hoare","year":"1974","unstructured":"Hoare, C. A. R. 1974. Monitors: An operating systems structuring concept.Comm. ACM, 17(10): 549?557.","journal-title":"Comm. ACM"},{"key":"CR12","unstructured":"Kale, L. V., Ramkumar, B., and Shu, W. W. 1988. A memory organisation independent binding environment for AND and OR parallel execution of logic programs. To appear in Proceedings of Joint Fifth International Conference\/Symposium on Logic Programming (Seattle, Aug. 15?19), IEEE Computer Society Press."},{"issue":"1","key":"CR13","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1109\/MC.1974.6323440","volume":"7","author":"D. J. Kuck","year":"1974","unstructured":"Kuck, D. J., Budnik, P., Chen, S.C., Davis, E. Jr., Han, J., Kraska, P., Lawrie, D. H., Muraoka, Y., Strebendt, R., and Towle, R. 1974. Measurements of parallelism in ordinary FORTRAN programs.IEEE Computer, 7 (1): 37?46.","journal-title":"IEEE Computer"},{"key":"CR14","first-page":"159","volume-title":"Proceedings of the Second International Logic Programming Conference (Uppsala, Sweden, July)","author":"G. Lindstrom","year":"1984","unstructured":"Lindstrom, G. 1984. Or-parallelism on applicative architectures. In Proceedings of the Second International Logic Programming Conference (Uppsala, Sweden, July), Ord & Form, Uppsala, pp. 159?170."},{"key":"CR15","unstructured":"Quintus Computer Systems, Inc. 1987. Quintus Prolog Reference Manual."},{"issue":"12","key":"CR16","doi-asserted-by":"crossref","first-page":"1184","DOI":"10.1145\/7902.7904","volume":"29","author":"D. A. Padua","year":"1986","unstructured":"Padua, D. A., and Wolfe, M. J. 1986. Advanced compiler optimizations for supercomputers.Comm. ACM, 29 (12): 1184?1201.","journal-title":"Comm. ACM"},{"key":"CR17","unstructured":"Sehr, D. C. 1988. An Or-parallel interpreter for Prolog programs with side effects. Master's thesis in preparation, University of Illinois."},{"key":"CR18","unstructured":"Shapiro, E. Y. 1983. A subset of concurrent Prolog and its interpreter. CS83-06, Technical report, Weizmann Institute."},{"key":"CR19","doi-asserted-by":"crossref","unstructured":"Ueda, K. 1985. Guarded Horn Clauses. Technical Report TR-103, ICOT.","DOI":"10.1007\/3-540-16479-0_17"},{"key":"CR20","unstructured":"Warren, D. H. D. 1977. Implementing Prolog?Compiling logic programs, 1 and 2. D.A.I. Research Report, University of Edinburgh."},{"key":"CR21","doi-asserted-by":"crossref","unstructured":"Warren, D. H. D. 1987a. Or-parallel execution models of Prolog. In TAPSOFT'87, Joint Conference on Theory and Practice of Software Development (March).","DOI":"10.1007\/BFb0014984"},{"key":"CR22","unstructured":"Warren, D. H. D. 1987b. The SRI model for or-parallel execution of Prolog?Abstract design and implementation issues, invited paper. In Proceedings of the 1987 Symposium on Logic Programming (San Francisco, Aug. 31?Sept. 4), IEEE Computer Society Press, pp. 92?102."},{"key":"CR23","doi-asserted-by":"crossref","unstructured":"Warren, D. S. 1984. Efficient Prolog memory management for flexible control strategies. In Proceedings of the 1984 Logic Programming Symposium (Atlantic City), IEEE Computer Society Press, pp. 198?202.","DOI":"10.1007\/BF03037327"}],"container-title":["The Journal of Supercomputing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00128177.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00128177\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00128177","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,19]],"date-time":"2024-12-19T15:58:21Z","timestamp":1734623901000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00128177"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988,10]]},"references-count":23,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1988,10]]}},"alternative-id":["BF00128177"],"URL":"https:\/\/doi.org\/10.1007\/bf00128177","relation":{},"ISSN":["0920-8542","1573-0484"],"issn-type":[{"type":"print","value":"0920-8542"},{"type":"electronic","value":"1573-0484"}],"subject":[],"published":{"date-parts":[[1988,10]]}}}