{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,20]],"date-time":"2026-03-20T05:04:46Z","timestamp":1773983086237,"version":"3.50.1"},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[1991,8,1]],"date-time":"1991-08-01T00:00:00Z","timestamp":681004800000},"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":[[1991,8]]},"DOI":"10.1007\/bf03037164","type":"journal-article","created":{"date-parts":[[2009,4,22]],"date-time":"2009-04-22T02:52:58Z","timestamp":1240368778000},"page":"233-256","source":"Crossref","is-referenced-by-count":50,"title":["The &-Prolog system: Exploiting independent and-parallelism"],"prefix":"10.1007","volume":"9","author":[{"given":"M. V.","family":"Hermenegildo","sequence":"first","affiliation":[]},{"given":"K. J.","family":"Greene","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF03037164_CR1","unstructured":"Ali, K. A. M. and Karlsson, R., \u201cThe Muse Or-Parallel Prolog Model and Its Performance,\u201d in1990 North American Conference on Logic Programming, MIT Press, Oct. 1990."},{"key":"BF03037164_CR2","unstructured":"Biswas, P., Su, S. and Yun, D., \u201cA Scalable Abstract Machine Model to Support Limited-or Restricted and Parallelism in Logic Programs,\u201d inFifth International Conference and Symposium on Logic Programming, pp. 1160\u20131179, 1988."},{"key":"BF03037164_CR3","unstructured":"Brand, P., Haridi, S. and Warren, H. H. D., \u201cAndorra Prolog \u2014 The Language and Application in Distributed Simulation,\u201d inInternational Conference on Fifth Generation Computer Systems, Tokyo, Nov. 1988."},{"key":"BF03037164_CR4","unstructured":"Carlsson, M.,Sicstus Prolog User\u2019s Manual, Po Box 1263, S-16313 Spanga, Sweden, Feb. 1988."},{"key":"BF03037164_CR5","unstructured":"Conery, J. S., \u201cThe And\/Or Process Model for Parallel Interpretation of Logic Programs,\u201dPh. D thesis, The University of California At Irvine, 1983.Technical Report, 204."},{"key":"BF03037164_CR6","unstructured":"Santos Costa, V., Warren, D. H. D. and Yang, R., \u201cThe Andorra-I Engine: A Parallel Implementation of the Basic Andorra Model,\u201d in1991 International Conference on Logic Programming, MIT Press, pp. 825\u2013839, June 1991."},{"key":"BF03037164_CR7","doi-asserted-by":"crossref","unstructured":"Cousot P. and Cousot, R., \u201cAbstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints,\u201d inConf. Rec. 4th Acm Symp. on Prin. of Programming Languages, pp. 238\u2013252, 1977.","DOI":"10.1145\/512950.512973"},{"key":"BF03037164_CR8","doi-asserted-by":"crossref","unstructured":"Debray, S. K., Lin, N.-W. and Hermenegildo, M., \u201cTask Granularity Analysis in Logic Programs,\u201d inProc. of the 1990 ACM Conf. on Programming Language Design and Implementation, ACM Press, June 1990.","DOI":"10.1145\/93542.93564"},{"key":"BF03037164_CR9","unstructured":"DeGroot, D., \u201cRestricted AND-Parallelism,\u201d inInternational Conference on Fifth Generation Computer Systems, Tokyo, pp. 471\u2013478, Nov. 1984."},{"key":"BF03037164_CR10","unstructured":"Gupta, G., Santos Costa, V., Yang, R. and Hermenegildo, M., \u201cI-updiom: A Model Integrating Dependent-, Independent-, and Or-Parallelism,\u201d in1991 International Logic Programming Symposium, MIT Press, Oct. 1991."},{"key":"BF03037164_CR11","doi-asserted-by":"crossref","unstructured":"Gupta, G. and Hermenegildo, M., \u201cACE: And\/Or-Parallel Copying-Based Execution of Logic Programs,\u201d inICLP\u201991 Workshop on Parallel Execution of Logic Programs, U. of Bristol, CS Dept., June 1991.","DOI":"10.1007\/3-540-55038-0_11"},{"key":"BF03037164_CR12","unstructured":"Gupta, G. and Jayaraman, B., \u201cCompiled And-Or Parallelism on Shared Memory Multiprocessors,\u201d in1989 North American Conference on Logic Programming, MIT Press, pp. 332\u2013349, Oct. 1989."},{"key":"BF03037164_CR13","unstructured":"Hermenegildo, M. and Rossi, F., \u201cOn the Correctness and Efficiency of Independent And-Parallelism in Logic Programs,\u201d in1989 North American Conference on Logic Programming, MIT Press, pp. 369\u2013390, Oct. 1989."},{"key":"BF03037164_CR14","series-title":"TR-86-20","volume-title":"An Abstract Machine Based Execution Model for Computer Architecture Design and Efficient Implementation of Logic Programs in Parallel","author":"M. V. Hermenegildo","year":"1986","unstructured":"Hermenegildo, M. V., \u201cAn Abstract Machine Based Execution Model for Computer Architecture Design and Efficient Implementation of Logic Programs in Parallel,\u201dPh. D thesis, Dept. of Electrical and Computer Engineering,TR-86-20, Dept. of Computer Science, University of Texas at Austin, Austin, Texas 78712, Aug. 1986."},{"key":"BF03037164_CR15","doi-asserted-by":"crossref","unstructured":"Hermenegildo, M. V., \u201cAn Abstract Machie for Restricted AND-Parallel Execution of Logic Programs,\u201d inThird International Conference on Logic Programming, Lecture Notes in Computer Science, Imperial College, Springer-Verlag, pp. 25\u201340, July 1986.","DOI":"10.1007\/3-540-16492-8_62"},{"key":"BF03037164_CR16","unstructured":"Hermenegildo, M. V., \u201cRelating Goal Scheduling, Precedence, and Memory Management in AND-Parallel Execution of Logic Programs,\u201d inFourth International Conference on Logic Programming, University of Melbourne, MIT Press, pp. 556\u2013575, May 1987."},{"key":"BF03037164_CR17","doi-asserted-by":"crossref","unstructured":"Hermenegildo, M. V. and Nasr, R. I., \u201cEfficient Management of Backtracking in AND-Parallelism,\u201d inThird International Conference on Logic Programming, Lecture Notes in Computer Science, Imperial College, Springer-Verlag, pp. 40\u201355, July 1986.","DOI":"10.1007\/3-540-16492-8_63"},{"key":"BF03037164_CR18","doi-asserted-by":"crossref","unstructured":"Hermenegildo, M. V. and Tick, E., \u201cMemory Performance of AND-Parallel Prolog on Shared-Memory Architectures,\u201dNew Generation Computing, 7, 1, Oct. 1989.","DOI":"10.1007\/BF03037507"},{"key":"BF03037164_CR19","doi-asserted-by":"crossref","unstructured":"Karp, A. H. and Babb, R. C., \u201cA Comparison of 12 Parallel Fortran Dialects,\u201dIEEE Software, Sept. 1988.","DOI":"10.1109\/52.7943"},{"key":"BF03037164_CR20","volume-title":"A Parallel Impelentation of Logic Programs","author":"Y.-J. Lin","year":"1988","unstructured":"Lin, Y.-J., \u201cA Parallel Impelentation of Logic Programs,\u201dPh. D. thesis, Dept. of Computer Science, University of Texas at Austin, Austin, Texas 78712, Aug. 1988."},{"key":"BF03037164_CR21","volume-title":"Compile-Time Derivation of Variable Dependency Using Abstract Interpretation","author":"K. Muthukumar","year":"1990","unstructured":"Muthukumar, K. and Hermenegildo, M., \u201cCompile-Time Derivation of Variable Dependency Using Abstract Interpretation,\u201d to appear in theJournal of Logic Programming (also published asTechnical Report, FIM 59.1\/1A\/90, Computer Science Dept., Universidad Polit\u00e9cnica de Madrid, Spain, Aug. 1990)."},{"key":"BF03037164_CR22","unstructured":"Muthukumar, K. and Hermenegildo, M., \u201cEfficient Methods for Supporting Side Effects in Independent And-Parallelism and Their Backtracking Semantics,\u201d in1989 International Conference on Logic Programming, MIT Press, June 1989."},{"key":"BF03037164_CR23","unstructured":"Muthukumar, K. and Hermenegildo, M., \u201cThe CDG, UDG, and MEL Methods for Automatic Compile-Time Parallelization of Logic Programs for Independent And-Parallelism,\u201d in1990 International Conference on Logic Programming, MIT Press, pp. 221\u2013237, June 1990."},{"key":"BF03037164_CR24","unstructured":"Muthukumar K. and Hermenegildo, M., \u201cCombined Determination of Sharing and Freeness of Program Variables Through Abstract Interpretation,\u201d in1991 International Conference on Logic Programming, MIT Press, June 1991."},{"key":"BF03037164_CR25","unstructured":"Ramkumar B. and Kale, L. V., \u201cCompiled Execution of the Reduce-OR Process Model on Multiprocessors,\u201d in1989 North American Conference on Logic Programming, MIT Press, pp. 313\u2013331, Oct. 1989."},{"key":"BF03037164_CR26","unstructured":"Shen K. and Hermenegildo, M., \u201cA Simulation Study of Or- and Independent And-Parallelism,\u201d in1991 International Logic Programming Symposium, MIT Press, Oct. 1991."},{"key":"BF03037164_CR27","unstructured":"Szeredi, P., \u201cPerformance Analysis of the Aurora Or-Parallel Prolog System,\u201d in1989 North American Conference on Logic Programming, MIT Press, Oct. 1989."},{"key":"BF03037164_CR28","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-2017-3","volume-title":"Memory Performance of Prolog Architectures","author":"E. Tick","year":"1987","unstructured":"Tick, E.,Memory Performance of Prolog Architectures, Kluwer Academic Publishers, Norwell, MA 02061, 1987."},{"key":"BF03037164_CR29","unstructured":"Warren, D. H. D., \u201cAn Abstract Prolog Instruction Set,\u201dTechnical Report, 309, SRI International, 1983."},{"key":"BF03037164_CR30","unstructured":"Warren, D. H. D., \u201cThe SRI Model for OR-Parallel Execution of Prolog \u2014 Abstract Design and Implementation,\u201d inInternational Symposium on Logic Programming, San Francisco, IEEE Computer Society, pp. 92\u2013102, Aug. 1987."},{"key":"BF03037164_CR31","unstructured":"Warren, R., Hermenegildo, M. and Debray, S., \u201cOn the Practicality of Global Flow Analysis of Logic Programs,\u201d inFifth International Conference and Symposium on Logic Programming, MIT Press, Aug. 1988."},{"key":"BF03037164_CR32","unstructured":"Westphal, H. and Robert, P., \u201cThe PEPSys Model: Combining Backtracking, AND-and OR-Parallelism,\u201d inSymp. of Logic Prog., pp. 436\u2013448, Aug. 1987."}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037164.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037164\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037164","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T00:52:31Z","timestamp":1558572751000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037164"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,8]]},"references-count":32,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[1991,8]]}},"alternative-id":["BF03037164"],"URL":"https:\/\/doi.org\/10.1007\/bf03037164","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991,8]]}}}