{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,11]],"date-time":"2026-01-11T20:20:35Z","timestamp":1768162835443,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":46,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642642494","type":"print"},{"value":"9783642600852","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-642-60085-2_7","type":"book-chapter","created":{"date-parts":[[2011,9,8]],"date-time":"2011-09-08T11:03:26Z","timestamp":1315479806000},"page":"161-192","source":"Crossref","is-referenced-by-count":30,"title":["Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging"],"prefix":"10.1007","author":[{"given":"Manuel","family":"Hermenegildo","sequence":"first","affiliation":[]},{"given":"Germ\u00e1n","family":"Puebla","sequence":"additional","affiliation":[]},{"given":"Francisco","family":"Bueno","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","volume-title":"Technical Report D.WP1.1.M1.1\u20132, DISCIPL Project","author":"A Aggoun","year":"1997","unstructured":"A. Aggoun, F. Benhamou, F. Bueno, M. Carro, P. Deransart, W. Drabent, G. Ferrand, F. Goualard, M. Hermenegildo, C. Lai, J. Lloyd, J. Maluszynski, G. Puebla, and A. Tessier. CP Debugging Tools: Clarification of Functionalities and Selection of the Tools. Technical Report D.WP1.1.M1.1\u20132, DISCIPL Project, June 1997."},{"key":"7_CR2","volume-title":"From Logic Programming to Prolog","year":"1997","unstructured":"K. Apt, editor.From Logic Programming to Prolog. Prentice-Hall, Hemel Hempstead, Hertfordshire, England, 1997."},{"issue":"6","key":"7_CR3","doi-asserted-by":"publisher","first-page":"743","DOI":"10.1007\/BF01213601","volume":"6","author":"KR Apt","year":"1994","unstructured":"K. R. Apt and E. Marchiori. Reasoning about Prolog programs: from modes through types to assertions. Formal Aspects of Computing, 6(6):743\u2013765, 1994.","journal-title":"Formal Aspects of Computing"},{"issue":"106","key":"7_CR4","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1006\/inco.1993.1051","volume":"1","author":"KR Apt","year":"1993","unstructured":"K. R. Apt and D. Pedreschi. Reasoning about termination of pure PROLOG programs. Information and Computation, 1(106): 109\u2013157, 1993.","journal-title":"Information and Computation"},{"key":"7_CR5","first-page":"46","volume-title":"In Programming Languages Design and Implementation\u201993","author":"F Bourdoncle","year":"1993","unstructured":"F. Bourdoncle. Abstract debugging of higher-order imperative languages. In Programming Languages Design and Implementation\u201993, pages 46\u201355, 1993."},{"key":"7_CR6","first-page":"123","volume-title":"Declarative diagnosis of constraint programs: an assertion-based approach. In Proc. of the 3rd. Int\u2019l Workshop on Automated Debugging-AADEBUG\u201997","author":"J Boye","year":"1997","unstructured":"J. Boye, W. Drabent, and J. Maluszy\u0144ski. Declarative diagnosis of constraint programs: an assertion-based approach. In Proc. of the 3rd. Int\u2019l Workshop on Automated Debugging-AADEBUG\u201997, pages 123\u2013141, Linkoping, Sweden, May 1997. U. of Linkoping Press."},{"key":"7_CR7","volume-title":"The CIAO Multiparadigm Compiler: A User\u2019s Manual","author":"F Bueno","year":"1995","unstructured":"F. Bueno. The CIAO Multiparadigm Compiler: A User\u2019s Manual. Technical Report CLIP8\/95.0, Facultad de Inform\u00e1tica, UPM, June 1995."},{"key":"7_CR8","first-page":"108","volume-title":"Global Analysis of Standard Prolog Programs","author":"F Bueno","year":"1996","unstructured":"F. Bueno, D. Cabeza, M. Hermenegildo, and G. Puebla. Global Analysis of Standard Prolog Programs. In European Symposium on Programming, number 1058 in LNCS, pages 108\u2013124, Sweden, April 1996. Springer-Verlag"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"F. Bueno, M. Garc\u00eda de la Banda, and M. Hermenegildo. Effectiveness of Abstract Interpretation in Automatic Parallelization: A Case Study in Logic Programming. ACM Transactions on Programming Languages and Systems, 1998. In Press.","DOI":"10.1145\/316686.316688"},{"key":"7_CR10","first-page":"155","volume-title":"In Proc. of the 3rd. Int\u2019l Workshop on Automated Debugging-AADEBUG\u201997","author":"F Bueno","year":"1997","unstructured":"F. Bueno, P. Deransart, W. Drabent, G. Ferrand, M. Hermenegildo, J. Maluszynski, and G. Puebla. On the Role of Semantic Approximations in Validation and Diagnosis of Constraint Logic Programs. In Proc. of the 3rd. Int\u2019l Workshop on Automated Debugging-AADEBUG\u201997, pages 155\u2013170, Linkoping, Sweden, May 1997. U. of Linkoping Press."},{"key":"7_CR11","volume-title":"Workshop on Logic Programming","author":"L Byrd","year":"1980","unstructured":"L. Byrd. Understanding the Control Flow of Prolog Programs. In S.-A. T\u00e4rnlund, editor, Workshop on Logic Programming, Debrecen, 1980"},{"issue":"1","key":"7_CR12","doi-asserted-by":"publisher","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_CR13","first-page":"22","volume-title":"Proving properties of logic programs by abstract diagnosis","author":"M Comini","year":"1996","unstructured":"M. Comini, G. Levi, M. C. Meo, and G. Vitiello. Proving properties of logic programs by abstract diagnosis. In M. Dams, editor, Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop, number 1192 in Lecture Notes in Computer Science, pages 22\u201350. Springer-Verlag, 1996"},{"key":"7_CR14","first-page":"440","volume-title":"Proc. Logic Program Synthesis and Transformation and Metaprogramming in Logic 1994, volume 883 of Lecture Notes in Computer Science","author":"M Comini","year":"1994","unstructured":"M. Comini, G. Levi, and G. Vitiello. Abstract debugging of logic programs. In L. Fribourg and F. Turini, editors, Proc. Logic Program Synthesis and Transformation and Metaprogramming in Logic 1994, volume 883 of Lecture Notes in Computer Science, pages 440\u2013450, Berlin, 1994. Springer-Verlag."},{"key":"7_CR15","first-page":"238","volume-title":"Abstract Interpretation: a Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints","author":"P Cousot","year":"1977","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"},{"key":"7_CR16","first-page":"157","volume-title":"A regular type language for logic programs","author":"PW Dart","year":"1992","unstructured":"P.W. Dart and J. Zobel. A regular type language for logic programs. In F. Pfenning, editor, Types in Logic Programming, pages 157\u2013187. MIT Press, 1992"},{"key":"7_CR17","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/0304-3975(93)90107-5","volume":"118","author":"P Deransart","year":"1993","unstructured":"P. Deransart. Proof methods of declarative properties of definite programs. Theoretical Computer Science, 118:99\u2013166, 1993.","journal-title":"Theoretical Computer Science"},{"key":"7_CR18","first-page":"573","volume-title":"The Use of Assertions in Algorithmic Debugging","author":"W Drabent","year":"1988","unstructured":"W. Drabent, S. Nadjm-Tehrani, and J. Maluszy\u0144ski. The Use of Assertions in Algorithmic Debugging. In Proceedings of the Intl. Conf. on Fifth Generation Computer Systems, pages 573\u2013581, 1988"},{"key":"7_CR19","first-page":"501","volume-title":"Algorithmic debugging with assertions","author":"W Drabent","year":"1989","unstructured":"W. Drabent, S. Nadjm-Tehrani, and J. Maluszynski. Algorithmic debugging with assertions. In H. Abramson and M.H.Rogers, editors, Meta-programming in Logic Programming, pages 501\u2013522. MIT Press, 1989"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"M. Ducass\u00e9. OPIUM \u2013 an advanced debugging system. In M. J. Comyn, G.; Fuchs, N.E.; Ratcliffe, editors, Proceedings of the Second International Logic Programming Summer School on Logic Programming in Action (LPSS\u201992), volume 636 of Lecture Notes in Computer Science (subseries LNA1), pages 303\u2013312. Springer Verlag, 1992","DOI":"10.1007\/3-540-55930-2_21"},{"key":"7_CR21","volume-title":"Automated and Algorithmic Debugging, volume 749 of Lecture Notes in Computer Science, pages 1\u201315","author":"M Ducass\u00e9","year":"1993","unstructured":"M. Ducass\u00e9. A pragmatic survey of automated debugging. In Peter A. Fritzson, editor, Automated and Algorithmic Debugging, volume 749 of Lecture Notes in Computer Science, pages 1\u201315. Springer Verlag, May 1993."},{"issue":"20","key":"7_CR22","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1016\/0743-1066(94)90030-2","volume":"19","author":"M Ducass\u00e9","year":"1994","unstructured":"M. Ducass\u00e9 and J. Noy\u00e9. Logic programming environments: Dynamic program analysis and debugging. Journal of Logic Programming, 19,20:351\u2013384, 1994","journal-title":"Journal of Logic Programming"},{"key":"7_CR23","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/0743-1066(87)90001-X","volume":"4","author":"G Ferrand","year":"1987","unstructured":"G. Ferrand. Error diagnosis in logic programming. J. Logic Programming, 4:177\u2013198, 1987.","journal-title":"J. Logic Programming"},{"key":"7_CR24","first-page":"599","volume-title":"Fast and precise regular approximations of logic programs","author":"JP Gallagher","year":"1994","unstructured":"J.P. Gallagher and D.A. de Waal. Fast and precise regular approximations of logic programs. In Pascal Van Hentenryck, editor, Proceedings of the Eleventh International Conference on Logic Programming, pages 599\u2013613. The MIT Press, 1994."},{"key":"7_CR25","doi-asserted-by":"crossref","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","DOI":"10.1145\/232706.232734"},{"key":"7_CR26","volume-title":"The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems","author":"M Hermenegildo","year":"1998","unstructured":"M. Hermenegildo, F. Bueno, D. Cabeza, M. Garc\u00eda de la Banda, P. L\u00f3pez, and G. Puebla. The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. In Parallelism and Implementation Technology for Logic and Constraint Logic Programming. Nova Science, Com- mack, NY, USA, 1998."},{"key":"7_CR27","unstructured":"M. Hermenegildo and The CLIP Group. pl2texi: An Automatic Documentation Generator for (C)LP \u2014 Reference Manual. The CIAO System Documentation Series - TR CLIP5\/97.1, Facultad de Inform\u00e1tica, UPM, August."},{"key":"7_CR28","unstructured":"M. Hermenegildo and The CLIP Group. Programming with Global Analysis. In Proceedings of ILPS\u201997, pages 49\u201352, Cambridge, MA, October 1997. MIT Press, (abstract of invited talk)."},{"issue":"4","key":"7_CR29","doi-asserted-by":"publisher","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. K. 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_CR30","volume-title":"The Goedel Programming Language","author":"P Hill","year":"1994","unstructured":"P. Hill and J. Lloyd. The Goedel Programming Language. MIT Press, Cambridge MA, 1994."},{"key":"7_CR31","first-page":"37","volume-title":"Effectiveness of optimizing compilation for CLP(R)","author":"A Kelly","year":"1996","unstructured":"A. Kelly, A. Macdonald, K. Marriott, P. Stuckey, and R. Yap. Effectiveness of optimizing compilation for CLP(R). In Proceedings of Joint International Conference and Symposium on Logic Programming, pages 37\u201351. MIT Press, 1996."},{"key":"7_CR32","doi-asserted-by":"crossref","unstructured":"K. Marriott and P. Stuckey. The 3 R\u2019s of Optimizing Constraint Logic Programs: Refinement, Removal, and Reordering. In 19th. Annual ACM Conf. on Principles of Programming Languages. ACM, 1992.","DOI":"10.1145\/158511.158685"},{"key":"7_CR33","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."},{"issue":"2-3","key":"7_CR34","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\/3):315\u2013347, July 1992. Originally published as Technical Report FIM 59.1\/IA\/90, Computer Science Dept, Universidad Politecnica de Madrid, Spain, August 1990.","journal-title":"The Journal of Logic Programming"},{"key":"7_CR35","unstructured":"L. Naish. A three-valued declarative debugging scheme. In 8th Workshop on Logic Programming Environments, July 1997. ICLP Post-Conference Workshop."},{"key":"7_CR36","unstructured":"G. Puebla, F. Bueno, and M. Hermenegildo. An Assertion Language for Debugging of Constraint Logic Programs. In Proceedings of the ILPS\u201997 Workshop on Tools and Environments for (Constraint) Logic Programming, October 1997."},{"key":"7_CR37","doi-asserted-by":"crossref","unstructured":"G. Puebla, F. Bueno, and M. Hermenegildo. A Framework for Assertion-based Debugging in Constraint Logic Programming. In Proceedings of the JICSLP\u201998 Workshop on Types for CLP, Manchester, UK, June 1998.","DOI":"10.1007\/3-540-49481-2_43"},{"key":"7_CR38","first-page":"77","volume-title":"Implementation of Multiple Specialization in Logic Programs","author":"G Puebla","year":"1995","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, pages 77\u201387. ACM Press, June 1995."},{"key":"7_CR39","doi-asserted-by":"crossref","unstructured":"G. Puebla and M. Hermenegildo. Abstract Multiple Specialization and its Application to Program Parallelization. Journal of Logic Programming. Special Issue on Synthesis, Transformation and Analysis of Logic Programs, 1999. To appear.","DOI":"10.1016\/S0743-1066(99)00031-X"},{"key":"7_CR40","doi-asserted-by":"crossref","unstructured":"D. De Schreye and M. Denecker. Assesment of some issues in CL-theory and program development, this volume, pp. 195\u2013208.","DOI":"10.1007\/978-3-642-60085-2_8"},{"key":"7_CR41","volume-title":"Algorithmic Program Debugging","author":"E Shapiro","year":"1982","unstructured":"E. Shapiro. Algorithmic Program Debugging. ACM Distiguished Dissertation. MIT Press, 1982."},{"key":"7_CR42","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0743-1066(96)00068-4","volume":"29","author":"Z Somogyi","year":"1996","unstructured":"Z. Somogyi, F. Henderson, and T. Conway. The execution algorithm of Mercury: an efficient purely declarative logic programming language. JLP, 29(1\u20133), October 1996.","journal-title":"JLP"},{"key":"7_CR43","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_CR44","unstructured":"E. Vetillard. Utilisation de Declarations en Programmation Logique avec Constraintes. PhD thesis, U. of Aix-Marseilles II, 1994."},{"key":"7_CR45","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. 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."},{"key":"7_CR46","first-page":"211","volume-title":"A Type System for Logic Programs","author":"E Yardeni","year":"1987","unstructured":"E. Yardeni and E. Shapiro. A Type System for Logic Programs. Concurrent Prolog: Collected Papers, pages 211\u2013244, 1987."}],"container-title":["Artificial Intelligence","The Logic Programming Paradigm"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-60085-2_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T21:35:00Z","timestamp":1606253700000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-60085-2_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783642642494","9783642600852"],"references-count":46,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-60085-2_7","relation":{},"ISSN":["1431-0066"],"issn-type":[{"value":"1431-0066","type":"print"}],"subject":[],"published":{"date-parts":[[1999]]}}}