{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T02:40:59Z","timestamp":1752460859499},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540610557"},{"type":"electronic","value":"9783540499428"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61055-3_32","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:14:42Z","timestamp":1330290882000},"page":"108-124","source":"Crossref","is-referenced-by-count":20,"title":["Global analysis of standard Prolog programs"],"prefix":"10.1007","author":[{"given":"F.","family":"Bueno","sequence":"first","affiliation":[]},{"given":"D.","family":"Cabeza","sequence":"additional","affiliation":[]},{"given":"M.","family":"Hermenegildo","sequence":"additional","affiliation":[]},{"given":"G.","family":"Puebla","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"7_CR1","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/0743-1066(91)80001-T","volume":"10","author":"M. Bruynooghe","year":"1991","unstructured":"M. Bruynooghe. A Practical Framework for the Abstract Interpretation of Logic Programs. Journal of Logic Programming, 10:91\u2013124, 1991.","journal-title":"Journal of Logic Programming"},{"key":"7_CR2","volume-title":"Technical Report CLIP2\/95.0","author":"F. Bueno","year":"1995","unstructured":"F. Bueno, D. Cabeza, M. Hermenegildo, and G. Puebla. Data-Flow Analysis of Prolog Programs with Extra-Logical Features. Technical Report CLIP2\/95.0, Computer Science Dept., Technical U. of Madrid (UPM), Facultad Informatica UPM, 28660-Boadilla del Monte, Madrid-Spain, March 1995."},{"key":"7_CR3","volume-title":"Technical Report CLIP5\/93.0","author":"F. Bueno","year":"1993","unstructured":"F. Bueno, M. Garc\u00eda de la Banda, D. Cabeza, and M. Hermenegildo. The &-Prolog Compiler System \u2014 Automatic Parallelization Tools for LP. Technical Report CLIP5\/93.0, Computer Science Dept., Technical U. of Madrid (UPM), Facultad Informatica UPM, 28660-Boadilla del Monte, Madrid-Spain, June 1993."},{"key":"7_CR4","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 Symposium on Logic Programming, pages 320\u2013336. MIT Press, November 1994."},{"key":"7_CR5","doi-asserted-by":"crossref","first-page":"443","DOI":"10.1016\/0743-1066(94)90032-9","volume":"19\u201320","author":"M. Bugliesi","year":"1994","unstructured":"M. Bugliesi, E. Lamma, and P. Mello. Modularity in Logic Programming. Journal of Logic Programming, 19\u201320:443\u2013502, July 1994.","journal-title":"Journal of Logic Programming"},{"issue":"1","key":"7_CR6","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1145\/174625.174627","volume":"16","author":"B. Charlier Le","year":"1994","unstructured":"B. Le Charlier and P. Van Hentenryck. Experimental Evaluation of a Generic Abstract Interpretation Algorithm for Prolog. ACM Transactions on Programming Languages and Systems, 16(1):35\u2013101, 1994.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"7_CR7","unstructured":"B. Le Charlier, S. Rossi, and P. Van Hentenryck. An Abstract Interpretation Framework Which Accurately Handles Prolog Search-Rule and the Cut. In International Symposium on Logic Programming, pages 157\u2013171. MIT Press, November 1994."},{"key":"7_CR8","first-page":"305","volume-title":"number 822 in LNAI","author":"M. Codish","year":"1994","unstructured":"M. Codish, M. Garc\u00eda de la Banda, M. Bruynooghe, and M. Hermenegildo. Goal Dependent vs Goal Independent Analysis of Logic Programs. In F. Pfenning, editor, Fifth International Conference on Logic Programming and Automated Reasoning, number 822 in LNAI, pages 305\u2013320, Kiev, Ukraine, July 1994. Springer-Verlag."},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"M. Codish, S. Debray, and R. Giacobazzi. Compositional Analysis of Modular Logic Programs. In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages POPL'93, pages 451\u2013464, ACM, 1993.","DOI":"10.1145\/158511.158703"},{"key":"7_CR10","unstructured":"A. Cortesi and G. File. Abstract interpretation of prolog: the treatment of the built-ins. In Proc. of the 1992 GULP Conference on Logic Programming, pages 87\u2013104. Italian Association for Logic Programming, June 1992."},{"key":"7_CR11","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":"7_CR12","doi-asserted-by":"crossref","unstructured":"S. Debray, editor. Journal of Logic Programming, Special Issue: Abstract Interpretation, volume 13(1\u20132). North-Holland, July 1992.","DOI":"10.1016\/0743-1066(92)90021-T"},{"issue":"3","key":"7_CR13","doi-asserted-by":"crossref","first-page":"418","DOI":"10.1145\/65979.65983","volume":"11","author":"S. Debray","year":"1989","unstructured":"S. Debray. Static Inference of Modes and Data Dependencies in Logic Programs. ACM Transactions on Programming Languages and Systems, 11(3):418\u2013450, 1989.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"2","key":"7_CR14","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/0743-1066(89)90013-7","volume":"7","author":"S.K. Debray","year":"1989","unstructured":"S.K. Debray. Flow analysis of dynamic logic programs. Journal of Logic Programming, 7(2):149\u2013176, September 1989.","journal-title":"Journal of Logic Programming"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"M. Gabbrielli, R. Giacobazzi, and G. Levi. Goal independency and call patterns in the analysis of logic programs. In ACM Symposium on Applied Computing. ACM, 1994.","DOI":"10.1145\/326619.326789"},{"key":"7_CR16","first-page":"581","volume-title":"A generalized semantics for constraint logic programs","author":"R. Giacobazzi","year":"1992","unstructured":"Roberto Giacobazzi, Saumya Debray, and Giorgio Levi. A generalized semantics for constraint logic programs. In Proceedings of the International Conference on Fifth Generation Computer Systems, pages 581\u2013591, ICOT, Japan, 1992. Association for Computing Machinery."},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"M. Hermenegildo, K. Marriott, G. Puebla, and P. Stuckey. Incremental Analysis of Logic Programs. In International Conference on Logic Programming. MIT Press, 1995.","DOI":"10.7551\/mitpress\/4298.003.0075"},{"issue":"4","key":"7_CR18","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1016\/0743-1066(92)90053-6","volume":"13","author":"M. Hermenegildo","year":"1992","unstructured":"M. Hermenegildo, R. Warren, and S. Debray. Global Flow Analysis as a Practical Compilation Tool. Journal of Logic Programming, 13(4):349\u2013367, August 1992.","journal-title":"Journal of Logic Programming"},{"key":"7_CR19","unstructured":"International Organization for Standardization, National Physical Laboratory, Middlesex, England. PROLOG. ISO\/IEC DIS 13211 \u2014 Part 1: General Core, 1994."},{"key":"7_CR20","unstructured":"International Organization for Standardization, National Physical Laboratory, Middlesex, England. PROLOG. Working Draft 7.0 X3J17\/95\/1 \u2014 Part 2: Modules, 1995."},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"D. Jacobs and A. Langen. Compilation of Logic Programs for Restricted And-Parallelism. In European Symposium on Programming, pages 284\u2013297, 1988.","DOI":"10.1007\/3-540-19027-9_19"},{"issue":"3","key":"7_CR22","doi-asserted-by":"crossref","first-page":"607","DOI":"10.1145\/177492.177650","volume":"16","author":"K. Marriott","year":"1994","unstructured":"K. Marriott, H. S\u00f8ndergaard, and N.D. Jones. Denotational Abstract Interpretation of Logic Programs. ACM Transactions on Programming Languages and Systems, 16(3):607\u2013648, 1994.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"2","key":"7_CR23","doi-asserted-by":"publisher","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, July 1992.","journal-title":"Journal of Logic Programming"},{"key":"7_CR24","unstructured":"University of Bristol, Katholieke Universiteit Leuven, and Universidad Polit\u00e9cnica de Madrid. Interface between the prince prolog analysers and the compiler. Technical Report KUL\/PRINCE\/92.1, Katholieke Universiteit Leuven, October 1992."},{"key":"7_CR25","doi-asserted-by":"crossref","unstructured":"G. Puebla and M. Hermenegildo. Implementation of Multiple Specialization in Logic Programs. In Proc. ACM SIGPLAN Symposium on Partial Evaluation and Semantics Based Program Manipulation. ACM, June 1995.","DOI":"10.1145\/215465.215561"},{"key":"7_CR26","doi-asserted-by":"crossref","unstructured":"P. Van Roy and A.M. Despain. High-Performace Logic Programming with the Aquarius Prolog Compiler. IEEE Computer Magazine, pages 54\u201368, January 1992.","DOI":"10.1109\/2.108055"},{"key":"7_CR27","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":"7_CR28","first-page":"684","volume-title":"On the Practicality of Global Flow Analysis of Logic Programs","author":"R. Warren","year":"1988","unstructured":"R. Warren, M. Hermenegildo, and S. Debray. On the Practicality of Global Flow Analysis of Logic Programs. In Fifth International Conference and Symposium on Logic Programming, pages 684\u2013699, Seattle, Washington, August 1988. MIT Press."},{"issue":"2","key":"7_CR29","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1016\/0743-1066(92)90033-Y","volume":"13","author":"W. Winsborough","year":"1992","unstructured":"W. Winsborough. Multiple Specialization using Minimal-Function Graph Semantics. Journal of Logic Programming, 13(2 and 3):259\u2013290, July 1992.","journal-title":"Journal of Logic Programming"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems \u2014 ESOP '96"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61055-3_32.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T17:17:00Z","timestamp":1713633420000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61055-3_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540610557","9783540499428"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/3-540-61055-3_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}