{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:41:11Z","timestamp":1725457271313},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540633983"},{"type":"electronic","value":"9783540695370"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0033850","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T07:27:37Z","timestamp":1134286057000},"page":"275-289","source":"Crossref","is-referenced-by-count":1,"title":["Selective recomputation for handling side-effects in parallel logic programs"],"prefix":"10.1007","author":[{"given":"Zhiyi","family":"Huang","sequence":"first","affiliation":[]},{"given":"Chengzheng","family":"Sun","sequence":"additional","affiliation":[]},{"given":"Abdul","family":"Sattar","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,21]]},"reference":[{"issue":"2","key":"18_CR1","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1007\/BF01407834","volume":"19","author":"K.A.M. Ali","year":"1990","unstructured":"K.A.M. Ali, Roland Karlsson: \u201cThe MUSE Approach to Or-Parallel Prolog,\u201d International Journal of Parallel Programming, 19(2):129\u2013162, April 1990.","journal-title":"International Journal of Parallel Programming"},{"key":"18_CR2","unstructured":"A. Calderwood, P. Szeredi: \u201cScheduling OR-parallelism in Aurora-the Manchester scheduler,\u201d In Proc. of the Sixth International Conference on Logic Programming, MIT Press, pp419\u2013435, June 1989."},{"key":"18_CR3","volume-title":"Design and Implementation of an OR-Parallel Prolog Engine","author":"M. Carlsson","year":"1990","unstructured":"Mats Carlsson: \u201cDesign and Implementation of an OR-Parallel Prolog Engine,\u201d Ph.D. Thesis, The Royal Institute of Technology, Stockholm, 1990."},{"key":"18_CR4","unstructured":"D. DeGroot: \u201cRestricted AND-Parallelism and Side-effects,\u201d In International Symposium on Logic Programming, San Francisco, 1987, pp80\u201389."},{"key":"18_CR5","unstructured":"Y. Gao, et al: \u201cIntelligent Scheduling AND-and OR-parallelism in the Parallel Logic Programming System RAP\/LOP-PIM,\u201d In Proc. of the 20th Annual Inter. Conf. on Parallel Processing (ICPP'91), St. Charles, IL, USA, Aug. 1991."},{"key":"18_CR6","unstructured":"G. Gupta, et al: \u201cIDIOM: Integrating Dependent and-, Independent and-, and Orparallelism,\u201d In 1991 International Logic Programming Symposium, pp152\u2013166, MIT Press, Oct. 1991."},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"G. Gupta, M. Hermenegildo: \u201cACE: And\/Or-parallel Copying-based Execution of Logic Programs,\u201d In Proc. ICLP91 Workshop on Parallel Execution of Logic Programs, Lecture Notes in Computer Science 569, Springer Verlag, 1991.","DOI":"10.1007\/3-540-55038-0_11"},{"key":"18_CR8","unstructured":"G. Gupta, V. Santos Costa: \u201cCut and Side-Effects in And-Or Parallel Prolog,\u201d In Proc. 4th IEEE Symposium on Parallel and Distributed Processing, Arlington, 1992."},{"key":"18_CR9","volume-title":"Pruning and Speculative Work in OR-Parallel Prolog","author":"B. Hausman","year":"1990","unstructured":"Bogumil Hausman: \u201cPruning and Speculative Work in OR-Parallel Prolog,\u201d Ph.D. Thesis, The Royal Institute of Technology, Stockholm, 1990."},{"issue":"34","key":"18_CR10","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/BF03037164","volume":"9","author":"M. Hermenegildo","year":"1991","unstructured":"M. Hermenegildo, K. Greene: \u201cThe &-prolog System: Exploiting Independent And-Parallelism,\u201d New Generation Computing, 9(3,4):233\u2013257, 1991.","journal-title":"New Generation Computing"},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"Zhiyi Hwang, Shouren Hu: \u201cA Compiling Approach for Exploiting AND-parallelism in Parallel Logic Programming Systems,\u201d In Proc. of Parallel Architectures and Languages Europe, pp335\u2013345, June 1989.","DOI":"10.1007\/3-540-51285-3_50"},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"Zhiyi Hwang, Chengzheng Sun, et al: \u201cReduction of Code Space in Parallel Logic Programming Systems,\u201d In Proc. of Parallel Architectures and Languages Europe, pp454\u2013470, June 1991.","DOI":"10.1007\/3-540-54152-7_80"},{"issue":"23","key":"18_CR13","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1007\/BF03037208","volume":"7","author":"E. Lusk","year":"1990","unstructured":"Ewing Lusk, D.H.D. Warren, S. Haridi, et al: \u201cThe Aurora or-parallel Prolog system,\u201d New Generation Computing, 7(2,3):243\u2013271, 1990.","journal-title":"New Generation Computing"},{"key":"18_CR14","unstructured":"K. Muthukumar and M. Hermenegildo: \u201cComplete and Efficient Methods for Supporting Side-Effects in Independent\/Restricted And-parallelism,\u201d In 1989 International Conference on Logic Programming, MIT Press, June 1989."},{"key":"18_CR15","unstructured":"G.H. Pollard: \u201cParallel Execution of Horn Clause Programs,\u201d Ph.D. Thesis, Dept. of Computing, Imperial College, 1981."},{"key":"18_CR16","doi-asserted-by":"crossref","unstructured":"E. Pontelli, G. Gupta, M. Hermenegildo: \u201c&ACE: A High-Performance Parallel Prolog System,\u201d In International Parallel Processing Symposium, IEEE Computer Society, 1995.","DOI":"10.1109\/IPPS.1995.395891"},{"key":"18_CR17","doi-asserted-by":"crossref","unstructured":"V. Santos Costa, D.H.D. Warren, R. Yang: \u201cAndorra-I: A parallel Prolog system that transparently exploits both and-and or-parallelism,\u201c In Proc. of the Third ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, ACM Press, April 1991.","DOI":"10.1145\/109625.109635"},{"key":"18_CR18","unstructured":"K. Shen: \u201cInitial Results from the Parallel Implementation of DASWAM,\" In Proc. of Joint International Symposium of Logic Programming, pp513\u2013527, Sep. 1996."},{"key":"18_CR19","doi-asserted-by":"crossref","unstructured":"Chengzheng Sun, Yungui Ci: \u201cThe OR-forest Description for the Execution of Logic Programs,\u201d In Proc. of Third International Conference on Logic Programming, pp457\u2013466, 1986.","DOI":"10.1007\/3-540-16492-8_120"},{"key":"18_CR20","doi-asserted-by":"crossref","unstructured":"Chengzheng Sun, Yungui Ci: \u201cThe Sharing of Environment in AND-OR-parallel Execution of Logic Programs,\" In Proc. of 14th International Symposium on Computer Architecture, ppl37\u2013144, 1987.","DOI":"10.1145\/30350.30366"},{"key":"18_CR21","doi-asserted-by":"crossref","unstructured":"Chengzheng Sun, Yungui Ci: \u201cThe OR-forest-based parallel execution model of logic programs,\u201d Future Generation Computer Systems, North-Holland, Volume 6, Number 1, (June 1990), pp25\u201334.","DOI":"10.1016\/0167-739X(90)90006-Y"},{"key":"18_CR22","unstructured":"D.H.D. Warren: \u201cAn Abstract Prolog Instruction Set,\u201d Technical Note 309, SRI International, 1983."}],"container-title":["Lecture Notes in Computer Science","Programming Languages: Implementations, Logics, and Programs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0033850","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T13:51:18Z","timestamp":1586613078000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0033850"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540633983","9783540695370"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/bfb0033850","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}