{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,25]],"date-time":"2023-10-25T05:46:22Z","timestamp":1698212782527},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1986,6,1]],"date-time":"1986-06-01T00:00:00Z","timestamp":517968000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Parallel Prog"],"published-print":{"date-parts":[[1986,6]]},"DOI":"10.1007\/bf01414556","type":"journal-article","created":{"date-parts":[[2005,4,3]],"date-time":"2005-04-03T15:24:21Z","timestamp":1112541861000},"page":"245-275","source":"Crossref","is-referenced-by-count":28,"title":["A parallel implementation of Flat Concurrent Prolog"],"prefix":"10.1007","volume":"15","author":[{"given":"Stephen","family":"Taylor","sequence":"first","affiliation":[]},{"given":"Shmuel","family":"Safra","sequence":"additional","affiliation":[]},{"given":"Ehud","family":"Shapiro","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"CR1","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1109\/MC.1982.1653938","volume":"15","author":"W. B. Ackerman","year":"1982","unstructured":"W. B. Ackerman, Data Flow Languages,Computer 15(2):15?25 (February 1982).","journal-title":"Computer"},{"key":"CR2","unstructured":"S. Safra and E. Shapiro, Meta-Interpreters for Real,Proceedings of IFIP (to appear)."},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"S. Taylor, E. Av-Ron, and E. Shapiro, A Layered Method for Process and Code Mapping, Journal of New Generation Computing (in press).","DOI":"10.1007\/BF03037398"},{"key":"CR4","unstructured":"S. Safra, Partial Evaluation of Concurrent Prolog and Its Implications, CS86-24, Weizmann Institute of Science (July 1986)."},{"key":"CR5","unstructured":"A. Houri and E. Shapiro, An Abstract Machine for Flat Concurrent Prolog,Tech. Rep. CS86-20, Weizmann Institute of Science (July 1986)."},{"key":"CR6","unstructured":"E. Shapiro, Systolic Programming: A Paradigm for Parallel Processing,Proc. of Intl. Conf. on Fifth Generation Computer Systems, pp. 458?471 (November 1984)."},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"S. Taylor, L. Hellerstein, S. Safra, and E. Shapiro, Notes on the Complexity of Systolic Programs,Journal of Parallel and Distributed Computing (in press).","DOI":"10.1016\/0743-7315(87)90036-0"},{"key":"CR8","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1109\/MC.1982.1654109","volume":"15","author":"H. T. Kung","year":"1982","unstructured":"H. T. Kung, Why Systolic Architectures?IEEE Computer 15:39 (January 1982).","journal-title":"IEEE Computer"},{"key":"CR9","unstructured":"C. Mierowsky, S. Taylor, E. Shapiro, J. Levy, and S. Safra, The Design and Implementation of Flat Concurrent Prolog, Dept. of Computer Science, Weizmann Institute of Science, Rehovot, Isreal, Technical Report CS85-09 (July 1985)."},{"key":"CR10","volume-title":"Principles of Database Systems","author":"J. D. Ullman","year":"1982","unstructured":"J. D. Ullman,Principles of Database Systems, Computer Science Press, Maryland (1982)."},{"key":"CR11","volume-title":"Operating Systems Theory","author":"E. G. Coffman","year":"1973","unstructured":"E. G. Coffman and P. J. Denning,Operating Systems Theory, Prentice-Hall, Englewood Cliffs, New Jersey (1973)."},{"issue":"2","key":"CR12","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1147\/sj.72.0074","volume":"7","author":"J. W. Havender","year":"1968","unstructured":"J. W. Havender, Avoiding Deadlock in Multitasking Systems,IBM Systems Journal 7(2):74?84 (1968).","journal-title":"IBM Systems Journal"},{"key":"CR13","unstructured":"K. S. Weng, Stream-oriented Computation in Recursive Data Flow Schemes,? MIT Cambridge, MA., Techn. Rep. MTMM-68 (October 1975)."},{"key":"CR14","doi-asserted-by":"crossref","unstructured":"R. M. Keller and G. Lindstrom, Applications of Feedback in Functional Programming, Conference on Functional Languages and Computer Architecture, pp. 123?130 (Ocober 1981).","DOI":"10.1145\/800223.806771"},{"issue":"1","key":"CR15","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1145\/356869.356873","volume":"14","author":"P. C. Treleaven","year":"1982","unstructured":"P. C. Treleaven, D. R. Brownbridge, and R. P. Hopkins, Data-driven and demand-driven computer architecture.Computing Surveys 14(1):93?143 (March 1982).","journal-title":"Computing Surveys"},{"key":"CR16","unstructured":"Arvind and R. E. Thomas, I-Structures: An Efficient Data Type for Functional Languages, MIT Laboratory for Computer Science, Tech. Man. TM-178, MIT, Cambridge Mass. (September 1978)."},{"key":"CR17","volume-title":"A Distributed Implementation of Flat Concurrent Prolog","author":"U. Bar-on","year":"1986","unstructured":"U. Bar-on, A Distributed Implementation of Flat Concurrent Prolog, Weizmann Institute of Science, Department of Applied Mathematics, Rehovot, Israel., Masters Thesis (1986)."},{"key":"CR18","unstructured":"H. Tamaki, A Distributed Unification Scheme for Systolic Logic Programs,Proc. Intl. Conf. Parallel Processing, pp. 552?559 (August 1985)."}],"container-title":["International Journal of Parallel Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01414556.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01414556\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01414556","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T17:07:58Z","timestamp":1556816878000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01414556"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986,6]]},"references-count":18,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1986,6]]}},"alternative-id":["BF01414556"],"URL":"https:\/\/doi.org\/10.1007\/bf01414556","relation":{},"ISSN":["0885-7458","1573-7640"],"issn-type":[{"value":"0885-7458","type":"print"},{"value":"1573-7640","type":"electronic"}],"subject":[],"published":{"date-parts":[[1986,6]]}}}