{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T17:48:08Z","timestamp":1648748888525},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1994,6,1]],"date-time":"1994-06-01T00:00:00Z","timestamp":770428800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["New Gener Comput"],"published-print":{"date-parts":[[1994,6]]},"DOI":"10.1007\/bf03037344","type":"journal-article","created":{"date-parts":[[2009,4,22]],"date-time":"2009-04-22T02:54:51Z","timestamp":1240368891000},"page":"223-250","source":"Crossref","is-referenced-by-count":1,"title":["Cut and side-effects in a data-driven implementation of Prolog"],"prefix":"10.1007","volume":"12","author":[{"given":"Surapong","family":"Auwatanamongkol","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrzej","family":"Ciepielewski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Prasenjit","family":"Biswas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"BF03037344_CR1","doi-asserted-by":"crossref","first-page":"300","DOI":"10.1109\/12.48862","volume":"39","author":"Arvind","year":"1990","unstructured":"Arvind, and Rishiyur S. Nikhil, \u201cExecuting a Program on the MIT Tagged-Token Dataflow Architecture,\u201dIEEE Transaction on Computer, 39, 3, pp. 300\u2013318, March 1990.","journal-title":"IEEE Transaction on Computer"},{"key":"BF03037344_CR2","unstructured":"Barahona, P., \u201cSpecification and Control of Execution of Nondeterministic Dataflow Programs,\u201dPh. D. thesis, Department of Computer Science, University of Manchester, March 1987."},{"key":"BF03037344_CR3","unstructured":"Biswas, P. and Tseng, C.-C., \u201cLogDf: A Data Driven Abstract Machine Model for Parallel Execution of Logic Programs,\u201dProceedings of the International Conference on Fifth Generation Computer Systems, ICOT, pp. 1057\u20131070, 1988."},{"key":"BF03037344_CR4","unstructured":"Brand, P., \u201cWavefront Scheduling,\u201dInternal Report, Gigalips Project, 1988."},{"key":"BF03037344_CR5","unstructured":"Conery, J. S., \u201cBinding Environments for Parallel Logic Programs in Non-Shared Memory Multiprocessors,\u201dProceedings of 1987 IEEE Symposium on Logic programming, pp. 457\u2013467, 1987."},{"key":"BF03037344_CR6","unstructured":"DeGroot, D., \u201cRestricted AND-Parallelism,\u201dProceedings of the International Conference on Fifth Generation Computer Systems, pp. 471\u2013478, 1984."},{"key":"BF03037344_CR7","unstructured":"Hausman, B., Ciepielewski, A., and Calderwood, A., \u201cCut and Side-Effects in OR-Parallel Prolog,\u201dInternational Conference on Fifth Generation Computer Systems, pp. 831\u2013840, 1988."},{"key":"BF03037344_CR8","unstructured":"Hasegawa, R. and Amamiya, M., \u201cParallel Execution of Logic Programs Based on Dataflow Concept,\u201dProceedings of the International Conference on Fifth Generation Computer Systems, pp. 507\u2013516, 1984."},{"key":"BF03037344_CR9","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/BF03037380","volume":"4","author":"Z. Halim","year":"1986","unstructured":"Halim, Z., \u201cA Data-Driven Machine for OR-Parallel Evaluation of Logic Programs,\u201dNew Generation Computing, 4, pp. 5\u201333, 1986.","journal-title":"New Generation Computing"},{"key":"BF03037344_CR10","first-page":"133","volume":"2","author":"B. Hausman","year":"1989","unstructured":"Hausman, B., \u201cPruning and Scheduling Speculative Work in OR-Parallel Prolog,\u201dProceedings of PARLE89, 2, pp. 133\u2013150, 1989.","journal-title":"Proceedings of PARLE89"},{"key":"BF03037344_CR11","unstructured":"Hausman, B.,Ph.D. thesis, SICS and the Royal Institute of Technology, April 1990."},{"key":"BF03037344_CR12","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1007\/BF03037114","volume":"3","author":"N. Ito","year":"1984","unstructured":"Ito, N. and Shimizu, H., \u201cDataflow Based Execution Mechanisms of Parallel and Concurrent Prolog,\u201dNew Generation Computing, 3, pp. 15\u201341, 1984.","journal-title":"New Generation Computing"},{"key":"BF03037344_CR13","first-page":"2","volume":"2","author":"L. V. Kale","year":"1988","unstructured":"Kale, L. V., Padua, D. A. and Sehr, D., \u201cOR-Parallel Execution of Prolog Programs with Side-Effects,\u201dJournal of Supercomputing, 2, 2, 1988.","journal-title":"Journal of Supercomputing"},{"key":"BF03037344_CR14","unstructured":"Tseng, C.-C. snd Biswas, P., \u201cA Data-Driven Parallel Execution Model for Logic Programs,\u201dProceedings of Fifth International Conference Symposium on Logic Programming, pp. 1204\u20131222, August 1988."},{"key":"BF03037344_CR15","unstructured":"Tseng, C.-C., \u201cA Data-Driven Parallel Execution Model and Architecture for Logic Programs,\u201dPh.D. thesis, Department of Computer Science and Engineering, Southern Methodist University, August 1989."}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037344.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037344\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037344","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T00:52:35Z","timestamp":1558572755000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037344"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,6]]},"references-count":15,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1994,6]]}},"alternative-id":["BF03037344"],"URL":"https:\/\/doi.org\/10.1007\/bf03037344","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,6]]}}}