{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T22:40:10Z","timestamp":1736116810272,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":44,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540634409"},{"type":"electronic","value":"9783540695493"}],"license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0002715","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T12:29:42Z","timestamp":1132748982000},"page":"31-45","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Automatic parallelization of irregular and pointer-based computations: Perspectives from logic and constraint programming"],"prefix":"10.1007","author":[{"given":"Manuel","family":"Hermenegildo","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,9,26]]},"reference":[{"key":"3_CR1","unstructured":"K. A. M. Ali and R. Karlsson. The Muse Or-Parallel Prolog Model and its Performance. In 1990 North American Conference on Logic Programming, pages 757\u2013776. MIT Press, October 1990."},{"key":"3_CR2","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1145\/263699.263709","volume-title":"POPL'97: 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"K. Apt","year":"1997","unstructured":"K. Apt and A. Shaerf. Search and Imperative Programming. In POPL'97: 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 67\u201379, Paris, France, January 1997. ACM."},{"issue":"4","key":"3_CR3","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1145\/197405.197406","volume":"26","author":"D. Bacon","year":"1994","unstructured":"D. Bacon, S. Graham, and O. Sharp. Compiler Transformations for HighPerformance Computing. Computing Surveys, 26(4):345\u2013420, December 1994.","journal-title":"Computing Surveys"},{"key":"3_CR4","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/0167-6423(89)90014-2","volume":"13","author":"E. Best","year":"1990","unstructured":"E. Best and C. Lengauer. Semantic Independence. Science of Computer Programming, 13:23\u201350, 1990.","journal-title":"Science of Computer Programming"},{"key":"3_CR5","volume-title":"Proc. 10th Intl. Conf. Logic Programming","author":"J. Bevemyr","year":"1993","unstructured":"J. Bevemyr, T. Lindgren, and H. Millroth. Reform Prolog: the language and its implementation. In Proc. 10th Intl. Conf. Logic Programming, Cambridge, Mass., 1993. MIT Press."},{"key":"3_CR6","first-page":"457","volume-title":"Proc. International Symposium on Logic Programming","author":"C. Braem","year":"1994","unstructured":"C. Braem, B. Le Charlier, S. Modart, and P. Van Hentenryck. Cardinality analysis of prolog. In Proc. International Symposium on Logic Programming, pages 457\u2013471, Ithaca, NY, November 1994. MIT Press."},{"key":"3_CR7","unstructured":"F. Bueno, M. Garc\u00eda de la Banda, and M. Hermenegildo. A Comparative Study of Methods for Automatic Compile-time Parallelization of Logic Programs. In Parallel Symbolic Computation, pages 63\u201373. World Scientific Publishing Company, September 1994."},{"key":"3_CR8","unstructured":"F. Bueno, M. Garcia de la Banda, and M. Hermenegildo. Effectiveness of Global Analysis in Strict Independence-Based Automatic Program Parallelization. In International Symposium on Logic Programming, pages 320\u2013336. MIT Press, November 1994."},{"key":"3_CR9","first-page":"297","volume-title":"1994 International Static Analysis Symposium, number 864 in LNCS","author":"D. Cabeza","year":"1994","unstructured":"D. Cabeza and M. Hermenegildo. Extracting Non-strict Independent Andparallelism Using Sharing and Freeness Information. In 1994 International Static Analysis Symposium, number 864 in LNCS, pages 297\u2013313, Namur, Belgium, September 1994. Springer-Verlag."},{"key":"3_CR10","unstructured":"J.-H. Chang, A. M. Despain, and D. Degroot. And-Parallelism of Logic Programs Based on Static Data Dependency Analysis. In Compcon Spring '85, pages 218\u2013225, February 1985."},{"issue":"3","key":"3_CR11","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1145\/185403.185453","volume":"26","author":"J. Chassin","year":"1994","unstructured":"J. Chassin and P. Codognet. Parallel Logic Programming Systems. Computing Surveys, 26(3):295\u2013336, September 1994.","journal-title":"Computing Surveys"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Abstract Interpretation: a Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In Fourth ACM Symposium on Principles of Programming Languages, pages 238\u2013252, 1977.","DOI":"10.1145\/512950.512973"},{"key":"3_CR13","volume-title":"1997 International Conference on Logic Programming, Leuven, Belgium","author":"S. K. Debray","year":"1997","unstructured":"S. K. Debray, P. L\u00f3pez Garc\u00eda, and M. Hermenegildo. Non-Failure Analysis for Logic Programs. In 1997 International Conference on Logic Programming, Leuven, Belgium, June 1997. MIT Press, Cambridge, MA."},{"issue":"6","key":"3_CR14","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1145\/93548.93564","volume":"25","author":"Saumya K. Debray","year":"1990","unstructured":"S. K. Debray, N.-W. Lin, and M. Hermenegildo. Task Granularity Analysis in Logic Programs. In Proc. of the 1990 ACM Conf. on Programming Language Design and Implementation, pages 174\u2013188. ACM Press, June 1990.","journal-title":"ACM SIGPLAN Notices"},{"issue":"5","key":"3_CR15","doi-asserted-by":"publisher","first-page":"826","DOI":"10.1145\/161468.161472","volume":"15","author":"S.K. Debray","year":"1993","unstructured":"S.K. Debray and N.W. Lin. Cost analysis of logic programs. ACM Transactions on Programming Languages and Systems, 15(5):826\u2013875, November 1993.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"3_CR16","unstructured":"D. DeGroot. Restricted AND-Parallelism. In International Conference on Fifth Generation Computer Systems, pages 471\u2013478. Tokyo, November 1984."},{"key":"3_CR17","first-page":"80","volume-title":"Int'l Supercomputing Conference","author":"D. DeGroot","year":"1987","unstructured":"D. DeGroot. A Technique for Compiling Execution Graph Expressions for Restricted AND-parallelism in Logic Programs. In Int'l Supercomputing Conference, pages 80\u201389, Athens, 1987. Springer Verlag."},{"key":"3_CR18","unstructured":"European Computer Research Center. Eclipse User's Guide, 1993."},{"key":"3_CR19","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/3-540-61756-6_78","volume-title":"Programming Languages: Implementation, Logics, and Programs","author":"M. Garc\u00eda de la Banda","year":"1996","unstructured":"M. Garc\u00eda de la Banda, F. Bueno, and M. Hermenegildo. Towards Independent And-Parallelism in CLP. In Programming Languages: Implementation, Logics, and Programs, number 1140 in LNCS, pages 77\u201391, Aachen, Germany, September 1996. Springer-Verlag."},{"issue":"5","key":"3_CR20","doi-asserted-by":"publisher","first-page":"564","DOI":"10.1145\/232706.232734","volume":"18","author":"M. Garc\u00eda de la Banda","year":"1996","unstructured":"M. Garc\u00eda de la Banda, M. Hermenegildo, M. Bruynooghe, V. Dumortier, G. Janssens, and W. Simoens. Global Analysis of Constraint Logic Programs. ACM Transactions on Programming Languages and Systems, 18(5):564\u2013615, 1996.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"3_CR21","first-page":"130","volume-title":"1993 International Logic Programming Symposium","author":"M. Garc\u00eda de la Banda","year":"1993","unstructured":"M. Garc\u00eda de la Banda, M. Hermenegildo, and K. Marriott. Independence in Constraint Logic Programs. In 1993 International Logic Programming Symposium, pages 130\u2013146. MIT Press, Cambridge, MA, October 1993."},{"key":"3_CR22","first-page":"25","volume-title":"Lecture Notes in Computer Science","author":"M. V. Hermenegildo","year":"1986","unstructured":"M. Hermenegildo. An Abstract Machine for Restricted AND-parallel Execution of Logic Programs. In Third International Conference on Logic Programming, number 225 in Lecture Notes in Computer Science, pages 25\u201340. Imperial College, Springer-Verlag, July 1986."},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"M. Hermenegildo and M. Carro. Relating Data-Parallelism and And-Parallelism in Logic Programs. In Proceedings of EURO-PAR'95, number 966 in LNCS, pages 27\u201342. Springer-Verlag, August 1995.","DOI":"10.1007\/BFb0020453"},{"issue":"34","key":"3_CR24","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/BF03037164","volume":"9","author":"M. Hermenegildo","year":"1991","unstructured":"M. Hermenegildo and K. Greene. The &-Prolog System: Exploiting Independent And-Parallelism. New Generation Computing, 9(3,4):233\u2013257, 1991.","journal-title":"New Generation Computing"},{"key":"3_CR25","unstructured":"M. Hermenegildo and F. Rossi. On the Correctness and Efficiency of Independent And-Parallelism in Logic Programs. In 1989 North American Conference on Logic Programming, pages 369\u2013390. MIT Press, October 1989."},{"key":"3_CR26","unstructured":"M. Hermenegildo and F. Rossi. Non-Strict Independent And-Parallelism. In 1990 International Conference on Logic Programming, pages 237\u2013252. MIT Press, June 1990."},{"issue":"1","key":"3_CR27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0743-1066(93)00007-F","volume":"22","author":"M. Hermenegildo","year":"1995","unstructured":"M. Hermenegildo and F. Rossi. Strict and Non-Strict Independent And-Parallelism in Logic Programs: Correctness, Efficiency, and Compile-Time Conditions. Journal of Logic Programming, 22(1):1\u201345, 1995.","journal-title":"Journal of Logic Programming"},{"key":"3_CR28","doi-asserted-by":"crossref","unstructured":"M. Hermenegildo and the CLIP group. Some Methodological Issues in the Design of CIAO-A Generic, Parallel, Concurrent Constraint System. In Principles and Practice of Constraint Programming, number 874 in LNCS, pages 123\u2013133. Springer-Verlag, May 1994.","DOI":"10.1007\/3-540-58601-6_95"},{"key":"3_CR29","unstructured":"D. Jacobs and A. Langen. Accurate and Efficient Approximation of Variable Aliasing in Logic Programs. In 1989 North American Conference on Logic Programming. MIT Press, October 1989."},{"key":"3_CR30","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19\/20","author":"J. Jaffar","year":"1994","unstructured":"J. Jaffar and M.J. Maher. Constraint Logic Programming: A Survey. Journal of Logic Programming, 19\/20:503\u2013581, 1994.","journal-title":"Journal of Logic Programming"},{"key":"3_CR31","unstructured":"S. Janson and S. Haridi. Programming Paradigms of the Andorra Kernel Language. In 1991 International Logic Programming Symposium, pages 167\u2013183. MIT Press, 1991."},{"key":"3_CR32","first-page":"715","volume":"22","author":"P. L\u00f3pez Garc\u00eda","year":"1996","unstructured":"P. L\u00f3pez Garc\u00eda, M. Hermenegildo, and S. K. Debray. A Methodology for Granularity Based Control of Parallelism in Logic Programs. Journal of Symbolic Computation, Special Issue on Parallel Symbolic Computation, 22:715\u2013734, 1996.","journal-title":"Journal of Symbolic Computation, Special Issue on Parallel Symbolic Computation"},{"issue":"2-3","key":"3_CR33","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/BF03037208","volume":"7","author":"Ewing Lusk","year":"1990","unstructured":"E. Lusk et. al. The Aurora Or-Parallel Prolog System. New Generation Computing, 7(2,3), 1990.","journal-title":"New Generation Computing"},{"key":"3_CR34","unstructured":"K. Muthukumar and M. Hermenegildo. Determination of Variable Dependence Information at Compile-Time Through Abstract Interpretation. In 1989 North American Conference on Logic Programming, pages 166\u2013189. MIT Press, October 1989."},{"key":"3_CR35","unstructured":"K. Muthukumar and M. Hermenegildo. The CDG, UDG, and MEL Methods for Automatic Compile-time Parallelization of Logic Programs for Independent And-parallelism. In Int'l. Conference on Logic Programming, pages 221\u2013237. MIT Press, June 1990."},{"key":"3_CR36","unstructured":"K. Muthukumar and M. Hermenegildo. Combined Determination of Sharing and Freeness of Program Variables Through Abstract Interpretation. In 1991 International Conference on Logic Programming, pages 49\u201363. MIT Press, June 1991."},{"key":"3_CR37","doi-asserted-by":"crossref","unstructured":"E. Pontelli, G. Gupta, and M. Hermenegildo. &ACE: A High-Performance Parallel Prolog System. In International Parallel Processing Symposium, pages 564\u2013572. IEEE Computer Society Technical Committee on Parallel Processing, IEEE Computer Society, April 1995.","DOI":"10.1109\/IPPS.1995.395891"},{"key":"3_CR38","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1145\/135226.135233","volume":"8","author":"W. Pugh","year":"1992","unstructured":"W. Pugh. A practical algorithm for exact array dependence analysis. Communications of the ACM, 8:102\u2013114, August 1992.","journal-title":"Communications of the ACM"},{"key":"3_CR39","doi-asserted-by":"crossref","unstructured":"V. Santos-Costa, D.H.D. Warren, and R. Yang. The Andorra-I Preprocessor: Supporting Full Prolog on the Basic Andorra Model. In 1991 International Conference on Logic Programming, pages 443\u2013456. MIT Press, June 1991.","DOI":"10.1145\/109625.109635"},{"key":"3_CR40","doi-asserted-by":"crossref","unstructured":"M. Shapiro and S. Horwitz. Fast and Accurate Flow-Insensitive Points-To Analysis. In POPL'97: 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 1\u201314, Paris, France, January 1997. ACM.","DOI":"10.1145\/263699.263703"},{"issue":"1-3","key":"3_CR41","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/S0743-1066(96)00079-9","volume":"29","author":"K. Shen","year":"1996","unstructured":"K. Shen. Overview of DASWAM: Exploitation of Dependent And-parallelism. Journal of Logic Programming, 29(1-3):245\u2013293, November 1996.","journal-title":"Journal of Logic Programming"},{"key":"3_CR42","volume-title":"The Art of Prolog","author":"L. Sterling","year":"1986","unstructured":"L. Sterling and E.Y. Shapiro. The Art of Prolog. MIT Press, Cambridge MA, 1986."},{"key":"3_CR43","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1016\/0743-1066(94)90031-0","volume":"19\/20","author":"P. Roy Van","year":"1983","unstructured":"P. Van Roy. 1983-1993: The Wonder Years of Sequential Prolog Implementation. Journal of Logic Programming, 19\/20:385\u2013441, 1994.","journal-title":"Journal of Logic Programming"},{"key":"3_CR44","unstructured":"R. Warren, M. Hermenegildo, and S. K. Debray. On the Practicality of Global Flow Analysis of Logic Programs. In Fifth International Conference and Symposium on Logic Programming, pages 684\u2013699. MIT Press, August 1988. *** DIRECT SUPPORT *** A0008C42 00002"}],"container-title":["Lecture Notes in Computer Science","Euro-Par'97 Parallel Processing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0002715","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T22:02:31Z","timestamp":1736114551000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0002715"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540634409","9783540695493"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/bfb0002715","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]},"assertion":[{"value":"26 September 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}