{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,1]],"date-time":"2025-02-01T05:28:34Z","timestamp":1738387714646,"version":"3.35.0"},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1993,7,1]],"date-time":"1993-07-01T00:00:00Z","timestamp":741484800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. of Compt. Sci. &amp; Technol."],"published-print":{"date-parts":[[1993,7]]},"DOI":"10.1007\/bf02939530","type":"journal-article","created":{"date-parts":[[2008,9,3]],"date-time":"2008-09-03T04:56:52Z","timestamp":1220417812000},"page":"233-242","source":"Crossref","is-referenced-by-count":0,"title":["Optimized parallel execution of declarative programs on distributed memory multiprocessors"],"prefix":"10.1007","volume":"8","author":[{"given":"Meiming","family":"Shen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xinmin","family":"Tian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dingxing","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Weimin","family":"Zheng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dongchan","family":"Wen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02939530_CR1","volume-title":"Compiling Lazy Functional Language Part II","author":"L. Augustsson","year":"1987","unstructured":"Augustsson, L., Compiling Lazy Functional Language Part II. Ph. D thesis, Department of Computer Science, Chalmers University 1987, Sweden."},{"key":"BF02939530_CR2","unstructured":"Bosco, P. G., Cecahi, C.et al., Logic and Functional Programming on Distributed Memory Architecture. In Proc. of 2nd North-American Conf. on Logic Programming (MIT Press), Oct. 1990."},{"issue":"1","key":"BF02939530_CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/5001.5390","volume":"8","author":"K. L. Clark","year":"1986","unstructured":"Clark, K. L. and Gregory, S., PARLOG: a parallel programming in logic.ACM Transactions on Programming Languages and Systems, 1986, 8(1), pp. 1\u201349.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"BF02939530_CR4","doi-asserted-by":"crossref","unstructured":"Cousineau, G., The Categorical Abstract Machine. In Proc. IFIP Conf. on Func. Prog Lang. and Comp. Archi. 1985, pp. 50\u201364.","DOI":"10.1007\/3-540-15975-4_29"},{"key":"BF02939530_CR5","unstructured":"Darlington, J. and Reeve, M., ALICE: a multiprocessor reduction machine for the parallel evaluation of applicative language. In Functional Programming Languages and Computer Architecture, Oct. 1981, ACM, pp. 65\u201376."},{"key":"BF02939530_CR6","doi-asserted-by":"crossref","unstructured":"Davie, A. J. T.et al., CASE\u2014a lazy version of an SECD machine with a flat environment. Department of Computer Science, University of St Andrew, 1989.","DOI":"10.1109\/TENCON.1989.177071"},{"issue":"5","key":"BF02939530_CR7","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1007\/BF01383883","volume":"17","author":"B. E. Goldberg","year":"1988","unstructured":"Goldberg, B. E., Multiprocessor execution of functional programs.Int'l J. of Parallel Programming, 1988, 17 (5), pp. 425\u2013473.","journal-title":"Int'l J. of Parallel Programming"},{"key":"BF02939530_CR8","doi-asserted-by":"crossref","unstructured":"Johnsson, T., Paraliel Graph Reduction with the <v, G>-machine. In Proc. of Functional Prog. Lang. and Comp. rchi. 1989, pp. 202\u2013213.","DOI":"10.1145\/99370.99386"},{"key":"BF02939530_CR9","doi-asserted-by":"crossref","unstructured":"Lin Y. J. and Kumar V., AND-parallel execution of logic programs on a shared-memory multiprocessor.Journal of Logic Programming, Oct. 1991.","DOI":"10.1016\/0743-1066(91)80003-V"},{"key":"BF02939530_CR10","volume-title":"Introduction to Standard ML","author":"R. Milner","year":"1987","unstructured":"Milner, R. and Mitchell, Introduction to Standard ML. Computer Science Department, University of Edinburgh, UK, 1987."},{"key":"BF02939530_CR11","first-page":"98","volume":"274","author":"S. L. Peyton Jones","year":"1987","unstructured":"Peyton Jones, S. L.et al., GRIP\u2014A High Performance Architecture for Parallel Graph Reduction. LNCS 274, Sept. 1987, pp. 98\u2013112.","journal-title":"LNCS"},{"key":"BF02939530_CR12","series-title":"Technical Report","volume-title":"A parallel graph rewriting abstract machine and its efficient execution mechanism","author":"X. M. Tian","year":"1991","unstructured":"Tian, X. M.,and Wang, D. X., A parallel graph rewriting abstract machine and its efficient execution mechanism. Technical Report, Tsinghua University, Beijing, May, 1991."},{"key":"BF02939530_CR13","unstructured":"Tian, X. M., Wang, D. X., Shen, M. M. and Zheng, W. M., A practical eager-lazy control method for dynamic deriving parallel tasks. Accepted by Journal of Software, China."},{"key":"BF02939530_CR14","unstructured":"Tian, X. M., Wang, D. X., Shen, M. M. and Zheng, W. M., The compile-time partial scheduling strategies for optimizing granularity of parallel graph rewriting.Journal of Computer Science and Technology, 1993, (to appear)."},{"key":"BF02939530_CR15","unstructured":"Wang, D. X.et al., A High-Level Compiling Implementation of PARLOG Based on Extended Graph Rewriting. In Proceedings of Tools for Artificial Intelligence 90, Washington. D. C., Nov. 1990."}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02939530.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02939530\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02939530","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,31]],"date-time":"2025-01-31T20:05:33Z","timestamp":1738353933000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02939530"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,7]]},"references-count":15,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1993,7]]}},"alternative-id":["BF02939530"],"URL":"https:\/\/doi.org\/10.1007\/bf02939530","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"type":"print","value":"1000-9000"},{"type":"electronic","value":"1860-4749"}],"subject":[],"published":{"date-parts":[[1993,7]]}}}