{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T02:45:58Z","timestamp":1752461158700},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540617563"},{"type":"electronic","value":"9783540706540"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61756-6_78","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:21:19Z","timestamp":1330294879000},"page":"77-91","source":"Crossref","is-referenced-by-count":8,"title":["Towards independent and-parallelism in CLP"],"prefix":"10.1007","author":[{"given":"Mar\u00eda","family":"Garc\u00eda de la Banda","sequence":"first","affiliation":[]},{"given":"Francisco","family":"Bueno","sequence":"additional","affiliation":[]},{"given":"Manuel","family":"Hermenegildo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"6_CR1","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, 1994."},{"key":"6_CR2","unstructured":"F. Bueno, M. Garc\u00eda de la Banda, and M. Hermenegildo. Effectiveness of Global Analysis in Strict Independence-Based Automatic Program Parallelization. In International Logic Programming Symposium, pages 320\u2013336. MIT Press, 1994."},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"A. Cortesi, G. File, and W. Winsborough. Prop Revisited: Prepositional Formulas as Abstract Domains for Groundness Analysis. In Sixth IEEE Symposium on Logic in Computer Science, pages 222\u2013327, 1991. IEEE Computer Society.","DOI":"10.1109\/LICS.1991.151656"},{"key":"6_CR4","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 ACM Symposium on Principles of Programming Languages, pages 238\u2013252, 1977.","DOI":"10.1145\/512950.512973"},{"key":"6_CR5","unstructured":"M. Garc\u00eda de la Banda and M. Hermenegildo. A Practical Approach to the Global Analysis of Constraint Logic Programs. In International Logic Programming Symposium, pages 437\u2013455. MIT Press, 1993."},{"key":"6_CR6","unstructured":"M. Garc\u00eda de la Banda, M. Hermenegildo, and K. Marriott. Independence in Constraint Logic Programs. In ILPS'93, pages 130\u2013146. MIT Press, 1993."},{"key":"6_CR7","unstructured":"V. Dumortier, G. Janssens, M. Bruynooghe, and M. Codish. Freeness Analysis in the Presence of Numerical Constraints. In Tenth International Conference on Logic Programming, pages 100\u2013115. MIT Press, 1993."},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"M.J. Fern\u00e1ndez, M. Carro, and M. Hermenegildo. Idra (ideal resource allocation): Computing ideal speedups in parallel logic programming. In Proceedings of EuroPar'96, LNCS. Springer-Verlag, 1996.","DOI":"10.1007\/BFb0024769"},{"key":"6_CR9","unstructured":"P. Van Hentenryck. Parallel Constraint Satisfaction in Logic Programming. In International Conference on Logic Programming, pages 165\u2013180. MIT Press, 1989."},{"key":"6_CR10","unstructured":"M. Hermenegildo, F. Bueno, M. Garc\u00eda de la Banda, and G. Puebla. The CIAO Multi-Dialect Compiler and System. In Proc. of the ILPS'95 Workshop on Visions for the Future of Logic Programming, 1995."},{"issue":"3","key":"6_CR11","doi-asserted-by":"crossref","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":"6_CR12","doi-asserted-by":"crossref","unstructured":"C. Holzbaur. Metastructures vs. Attributed Variables in the Context of Extensible Unification. In International Symposium on Programming Language Implementation and Logic Programming, pages 260\u2013268. LNCS631, Springer Verlag, 1992.","DOI":"10.1007\/3-540-55844-6_141"},{"key":"6_CR13","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"13\/20","author":"J. Jaffar","year":"1994","unstructured":"J. Jaffar and M.J. Maher. Constraint Logic Programming: A Survey. Journal of Logic Programming, 13\/20:503\u2013581, 1994.","journal-title":"Journal of Logic Programming"},{"key":"6_CR14","unstructured":"S. Janson and S. Haridi. Programming Paradigms of the Andorra Kernel Language. In Int'l Logic Programming Symp., pages 167\u2013183. MIT Press, 1991."},{"key":"6_CR15","unstructured":"K. Marriott and P. Stuckey. Approximating Interaction Between Linear Arithmetic Constraints. In Int'l Logic Prog. Symp., pages 571\u2013585. MIT Press, 1994."},{"issue":"2","key":"6_CR16","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1016\/0743-1066(92)90035-2","volume":"13","author":"K. Muthukumar","year":"1992","unstructured":"K. Muthukumar and M. Hermenegildo. Compile-time Derivation of Variable Dependency Using Abstract Interpretation. Journal of Logic Programming, 13(2 and 3):315\u2013347, 1992.","journal-title":"Journal of Logic Programming"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"V. Santos-Costa, D.H.D. Warren, and R. Yang. Andorra-I: A Parallel Prolog System that Transparently Exploits both And-and Or-parallelism. In ACM SIGPLAN Symp. on Principles and Practice of Parallel Programming. ACM, 1990.","DOI":"10.1145\/109625.109635"},{"key":"6_CR18","unstructured":"K. Shen. Exploiting Dependent And-Parallelism in Prolog: The Dynamic, Dependent And-Parallel Scheme. In Joint Int'l. Conference and Symposium on Logic Programming MIT Press, 1992."}],"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\/3-540-61756-6_78.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:10:19Z","timestamp":1605647419000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61756-6_78"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540617563","9783540706540"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-61756-6_78","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}