{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:57:34Z","timestamp":1725663454792},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540541523"},{"type":"electronic","value":"9783540474722"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54152-7_80","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:33:36Z","timestamp":1330209216000},"page":"454-470","source":"Crossref","is-referenced-by-count":1,"title":["Reduction of code space in parallel logic programming systems"],"prefix":"10.1007","author":[{"given":"Hwang","family":"Zhiyi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hu","family":"Shouren","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sun","family":"Chengzheng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gao","family":"Yaoqing","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"26_CR1","unstructured":"C.S. Melish, The automatic generation of mode declarations for Prolog programs, DAI Research paper 163, Dept. of Artificial Intelligence, Univ. of Edinburgh (August 1981), U.K."},{"key":"26_CR2","doi-asserted-by":"crossref","unstructured":"S.K. Debray and D.S. Warren, Automatic Mode Inference for Prolog Programs, Journal of Logic Programming, 207\u2013229, Sept. 1988.","DOI":"10.1016\/0743-1066(88)90010-6"},{"key":"26_CR3","volume-title":"The AND\/OR model for parallel interpretation of logic programs","author":"J.S. Conery","year":"1983","unstructured":"J.S. Conery, The AND\/OR model for parallel interpretation of logic programs, Ph.D. Th., Dept. of Infor. and Computer Sci., Univ. of California, Irvine, 1983."},{"key":"26_CR4","unstructured":"D. DeGroot, Restricted And-parallelism, Proc. of the Int'l Conf. on Fifth Generation Computer System, Tokyo, (Nov. 1984) pp. 471\u2013478."},{"key":"26_CR5","doi-asserted-by":"crossref","unstructured":"D. DeGroot, A technique for compiling execution graph expressions for restricted And-parallelism in logic programs, Proc. of the 1987 Int'l Supercomputing Conf., Athens, Greece, (June 1987).","DOI":"10.1007\/3-540-18991-2_63"},{"key":"26_CR6","first-page":"218","volume":"85","author":"J.-H. Chang","year":"1985","unstructured":"J.-H. Chang, A. M. Despain and D. DeGroot, And-parallelism of logic programs based on a static data dependency analysis, COMPCON 85, San Francisco, Feb., 1985, pp. 218\u2013225.","journal-title":"COMPCON"},{"key":"26_CR7","first-page":"984","volume-title":"Proc. of the 1986 Int'l Conf. on Parallel Processing","author":"Y. Tung","year":"1986","unstructured":"Yu-Wen Tung and Dan I. Moldovan, Detection of And-parallelism in logic programming, Proc. of the 1986 Int'l Conf. on Parallel Processing, IEEE, Pennsylvania, 1986, pp. 984\u2013991."},{"key":"26_CR8","doi-asserted-by":"crossref","unstructured":"H. Xia and W.K. Giloi, A Hybrid Scheme for Detecting AND-Parallelism in Prolog Programs, Proc. of ACM 1988 Int. Conf. on Supercomputing, France, July, 1988.","DOI":"10.1145\/55364.55418"},{"key":"26_CR9","unstructured":"K. Muthukumar and M. Hermenegildo, Methods for Automatic Compile-time Parallelization of Logic Programs using Independent\/Restricted And-parallelism, Technical Report ACA-ST-233-89, MCC, Austin, TX 78759, March 1989."},{"key":"26_CR10","unstructured":"K. Muthukumar and M. Hermenegildo, The CDG, UDG and MEL Methods for Automatic Compile-time Parallelization of Logic Programs for Independent And-parallelism, Technical Report ACA-ST-023-90, MCC, Austin, TX 78759, 1990."},{"key":"26_CR11","unstructured":"Gao Yaoqing and Hu Shouren, A RAP\/LOP-WAM Abstract Instruction Set, Technical Report, Dept. of Computer Sci., Changsha Inst. of Tech., 1989."},{"key":"26_CR12","first-page":"463","volume-title":"3rd International Conf. on Logic Programming","author":"C.S. Melish","year":"1986","unstructured":"C.S. Melish, Abstract Interpretation of Prolog Programs, In 3rd International Conf. on Logic Programming, pp 463\u2013475, Imperial College, Springer-Verlag, July 1986."},{"key":"26_CR13","unstructured":"Sun Chengzheng and Ci Yungui, SES-PIM: a simulation and experiment system for PIM-PSOF, the 2nd National Conf. on Logic Programming, China, 1986."},{"key":"26_CR14","doi-asserted-by":"crossref","unstructured":"Hwang Zhiyi and Hu Shouren, A compiling approach for exploiting And-parallelism in parallel logic programming systems, Proc. of Parallel Architecture and Language Europe, Netherlands, 1989.","DOI":"10.1007\/3-540-51285-3_50"},{"key":"26_CR15","unstructured":"Hwang Zhiyi and Hu Shouren, An Improved CAAP Scheme, Technical Report, Dept. of Computer Sci., Changsha Inst. of Tech., 1989."},{"key":"26_CR16","unstructured":"Hwang Zhiyi and Hu Shouren, Compilation techniques of parallel inference machines, Journal of Computer Science, 1990(3), China."},{"key":"26_CR17","unstructured":"Sun Chengzheng and Ci Yungui, An automatic partition algorithm for And-parallel execution in the framework of OR-forest, Proc. of the 2nd Int'l Conf. on Computers and Applications, Beijing, 1987."}],"container-title":["Lecture Notes in Computer Science","PARLE '91 Parallel Architectures and Languages Europe"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54152-7_80.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:52:46Z","timestamp":1605646366000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54152-7_80"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540541523","9783540474722"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-54152-7_80","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}