{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:48:32Z","timestamp":1762458512632},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540676287"},{"type":"electronic","value":"9783540451488"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/10720327_16","type":"book-chapter","created":{"date-parts":[[2006,12,29]],"date-time":"2006-12-29T17:52:22Z","timestamp":1167414742000},"page":"273-292","source":"Crossref","is-referenced-by-count":30,"title":["Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs"],"prefix":"10.1007","author":[{"given":"Germ\u00e1n","family":"Puebla","sequence":"first","affiliation":[]},{"given":"Francisco","family":"Bueno","sequence":"additional","affiliation":[]},{"given":"Manuel","family":"Hermenegildo","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"6","key":"16_CR1","doi-asserted-by":"publisher","first-page":"743","DOI":"10.1007\/BF01213601","volume":"6","author":"K.R. Apt","year":"1994","unstructured":"Apt, K.R., Marchiori, E.: Reasoning about Prolog programs: from modes through types to assertions. Formal Aspects of Computing\u00a06(6), 743\u2013765 (1994)","journal-title":"Formal Aspects of Computing"},{"issue":"106","key":"16_CR2","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1006\/inco.1993.1051","volume":"1","author":"K.R. Apt","year":"1993","unstructured":"Apt, K.R., Pedreschi, D.: Reasoning about termination of pure PROLOG programs. Information and Computation\u00a01(106), 109\u2013157 (1993)","journal-title":"Information and Computation"},{"key":"16_CR3","unstructured":"Boye, J., Drabent, W., Ma\u0142uszy\u0144ski, J.: Declarative diagnosis of constraint programs: an assertion-based approach. In: Proc. of the 3rd. Int\u2019l Workshop on Automated Debugging\u2013AADEBUG 1997, Link\u00f6ping, Sweden, pp. 123\u2013141. U. of Link\u00f6ping Press (1997)"},{"key":"16_CR4","unstructured":"Bueno, F., Cabeza, D., Carro, M., Hermenegildo, M., L\u00f3pez-Garc\u00eda, P., Puebla, G.: The Ciao Prolog System. Reference Manual. The Ciao System Documentation Series\u2013TR CLIP3\/97.1, School of Computer Science, Technical University of Madrid (UPM) (August 1997)"},{"key":"16_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1007\/3-540-61055-3_32","volume-title":"Programming Languages and Systems - ESOP 1996","author":"F. Bueno","year":"1996","unstructured":"Bueno, F., Cabeza, D., Hermenegildo, M., Puebla, G.: Global Analysis of Standard Prolog Programs. In: Riis Nielson, H. (ed.) ESOP 1996. LNCS, vol.\u00a01058, pp. 108\u2013124. Springer, Heidelberg (1996)"},{"key":"16_CR6","unstructured":"Bueno, F., Deransart, P., Drabent, W., Ferrand, G., Hermenegildo, M., Maluszynski, J., Puebla, G.: 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\u2013AADEBUG 1997, Link\u00f6ping, Sweden, May 1997, pp. 155\u2013170. U. of Link\u00f6ping Press (1997)"},{"issue":"1","key":"16_CR7","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1145\/174625.174627","volume":"16","author":"B. Charlier Le","year":"1994","unstructured":"Le Charlier, B., Van Hentenryck, P.: Experimental Evaluation of a Generic Abstract Interpretation Algorithm for Prolog. ACM Transactions on Programming Languages and Systems\u00a016(1), 35\u2013101 (1994)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"16_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1007\/3-540-62503-8_2","volume-title":"Analysis and Verification of Multiple-Agent Languages","author":"M. Comini","year":"1997","unstructured":"Comini, M., Levi, G., Meo, M.C., Vitiello, G.: Proving properties of logic programs by abstract diagnosis. In: Dam, M. (ed.) LOMAPS-WS 1996. LNCS, vol.\u00a01192, pp. 22\u201350. Springer, Heidelberg (1997)"},{"key":"16_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"440","DOI":"10.1007\/3-540-58792-6_27","volume-title":"Logic Program Synthesis and Transformation - Meta-Programming in Logic","author":"M. Comini","year":"1994","unstructured":"Comini, M., Levi, G., Vitiello, G.: Abstract debugging of logic programs. In: Fribourg, L., Turini, F. (eds.) LOPSTR 1994 and META 1994. LNCS, vol.\u00a0883, pp. 440\u2013450. Springer, Heidelberg (1994)"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: 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, pp. 238\u2013252 (1977)","DOI":"10.1145\/512950.512973"},{"key":"16_CR11","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/0304-3975(93)90107-5","volume":"118","author":"P. Deransart","year":"1993","unstructured":"Deransart, P.: Proof methods of declarative properties of definite programs. Theoretical Computer Science\u00a0118, 99\u2013166 (1993)","journal-title":"Theoretical Computer Science"},{"key":"16_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/10722311","volume-title":"Analysis and Visualization Tools for Constraint Programming","author":"P. Deransart","year":"2000","unstructured":"Deransart, P., Hermenegildo, M., Maluszynski, J.: Debugging of Constraint Programs: The DiSCiPl Approach. In: Deransart, P., Hermenegildo, M., Maluszynski, J. (eds.) Analysis and Visualization Tools for Constraint Programming. Springer, Heidelberg (2000) (to appear)"},{"key":"16_CR13","unstructured":"Drabent, W., Nadjm-Tehrani, S., Ma\u0142uszy\u0144ski, J.: The Use of Assertions in Algorithmic Debugging. In: Proceedings of the Intl. Conf. on Fifth Generation Computer Systems, pp. 573\u2013581 (1988)"},{"key":"16_CR14","first-page":"501","volume-title":"Meta-programming in Logic Programming","author":"W. Drabent","year":"1989","unstructured":"Drabent, W., Nadjm-Tehrani, S., Maluszynski, J.: Algorithmic debugging with assertions. In: Abramson, H., Rogers, M.H. (eds.) Meta-programming in Logic Programming, pp. 501\u2013522. MIT Press, Cambridge (1989)"},{"key":"16_CR15","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/0743-1066(87)90001-X","volume":"4","author":"G. Ferrand","year":"1987","unstructured":"Ferrand, G.: Error diagnosis in logic programming. J. Logic Programming\u00a04, 177\u2013198 (1987)","journal-title":"J. Logic Programming"},{"key":"16_CR16","first-page":"599","volume-title":"Proc. of the 11th International Conference on Logic Programming","author":"J.P. Gallagher","year":"1994","unstructured":"Gallagher, J.P., de Waal, D.A.: Fast and precise regular approximations of logic programs. In: Van Hentenryck, P. (ed.) Proc. of the 11th International Conference on Logic Programming, pp. 599\u2013613. MIT Press, Cambridge (1994)"},{"issue":"5","key":"16_CR17","doi-asserted-by":"publisher","first-page":"564","DOI":"10.1145\/232706.232734","volume":"18","author":"M. Garc\u00eda de la Banda","year":"1996","unstructured":"Garc\u00eda de la Banda, M., Hermenegildo, M., Bruynooghe, M., Dumortier, V., Janssens, G., Simoens, W.: Global Analysis of Constraint Logic Programs. ACM Transactions on Programming Languages and Systems\u00a018(5), 564\u2013615 (1996)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"16_CR18","unstructured":"Hermenegildo, M.: A Documentation Generator for Logic Programming Systems. In: ICLP 1999 Workshop on Logic Programming Environments, N.M. State University, December 1999, pp. 80\u201397 (1999)"},{"key":"16_CR19","first-page":"52","volume-title":"1999 International Conference on Logic Programming","author":"M. Hermenegildo","year":"1999","unstructured":"Hermenegildo, M., Bueno, F., Puebla, G., L\u00f3pez-Garc\u00eda, P.: Program Analysis, Debugging and Optimization Using the Ciao System Preprocessor. In: 1999 International Conference on Logic Programming, November 1999, pp. 52\u201366. MIT Press, Cambridge (1999)"},{"key":"16_CR20","first-page":"49","volume-title":"Proceedings of ILPS 1997","author":"M. Hermenegildo","year":"1997","unstructured":"Hermenegildo, M.: The CLIP Group. Programming with Global Analysis. In: Proceedings of ILPS 1997, Cambridge, MA, pp. 49\u201352. MIT Press, Cambridge (1997)"},{"key":"16_CR21","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/978-3-642-60085-2_7","volume-title":"The Logic Programming Paradigm: a 25 \u2013Year Perspective","author":"M. Hermenegildo","year":"1999","unstructured":"Hermenegildo, M., Puebla, G., Bueno, F.: Using Global Analysis, Partial Speci fications, and an Extensible Assertion Language for Program Validation and Debugging. In: Apt, K.R., Marek, V., Truszczynski, M., Warren, D.S. (eds.) The Logic Programming Paradigm: a 25 \u2013Year Perspective, pp. 161\u2013192. Springer, Heidelberg (1999)"},{"key":"16_CR22","volume-title":"The Goedel Programming Language","author":"P. Hill","year":"1994","unstructured":"Hill, P., Lloyd, J.: The Goedel Programming Language. MIT Press, Cambridge (1994)"},{"key":"16_CR23","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19\/20","author":"J. Jaffar","year":"1994","unstructured":"Jaffar, J., Maher, M.J.: Constraint Logic Programming: A Survey. Journal of Logic Programming\u00a019\/20, 503\u2013581 (1994)","journal-title":"Journal of Logic Programming"},{"key":"16_CR24","doi-asserted-by":"crossref","unstructured":"Le M\u00e9tayer, D.: Proving properties of programs defined over recursive data structures. In: ACM Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pp. 88\u201399 (1995)","DOI":"10.1145\/215465.215567"},{"issue":"2\/3","key":"16_CR25","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1016\/0743-1066(92)90035-2","volume":"13","author":"K. Muthukumar","year":"1992","unstructured":"Muthukumar, K., Hermenegildo, M.: Compile-time Derivation of Variable Dependency Using Abstract Interpretation. Journal of Logic Programming\u00a013(2\/3), 315\u2013347 (1992)","journal-title":"Journal of Logic Programming"},{"key":"16_CR26","volume-title":"Analysis and Visualization Tools for Constraint Programming","author":"G. Puebla","year":"2000","unstructured":"Puebla, G., Bueno, F., Hermenegildo, M.: A Generic Preprocessor for Program Validation and Debugging. In: Deransart, P., Hermenegildo, M., Maluszynski, J. (eds.) Analysis and Visualization Tools for Constraint Programming, Springer, Heidelberg (2000) (to appear)"},{"key":"16_CR27","volume-title":"Analysis and Visualization Tools for Constraint Programming","author":"G. Puebla","year":"2000","unstructured":"Puebla, G., Bueno, F., Hermenegildo, M.: An Assertion Language for Debugging of Constraint Logic Programs. In: Deransart, P., Hermenegildo, M., Maluszynski, J. (eds.) Analysis and Visualization Tools for Constraint Programming, Springer. Heidelberg (2000) (to appear)"},{"issue":"2&3","key":"16_CR28","first-page":"279","volume":"41","author":"G. Puebla","year":"1999","unstructured":"Puebla, G., Hermenegildo, M.: Abstract Multiple Specialization and its Application to Program Parallelization. J. of Logic Programming. Special Issue on Synthesis, Transformation and Analysis of Logic Programs\u00a041(2&3), 279\u2013316 (1999)","journal-title":"J. of Logic Programming. Special Issue on Synthesis, Transformation and Analysis of Logic Programs"},{"key":"16_CR29","doi-asserted-by":"crossref","unstructured":"Somogyi, Z., Henderson, F., Conway, T.: The execution algorithm of Mercury: an efficient purely declarative logic programming language. JLP\u00a029(1\u20133) (October 1996)","DOI":"10.1016\/S0743-1066(96)00068-4"},{"key":"16_CR30","unstructured":"Vetillard, E.: Utilisation de Declarations en Programmation Logique avec Constraintes. PhD thesis, U. of Aix-Marseilles II (1994)"}],"container-title":["Lecture Notes in Computer Science","Logic-Based Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10720327_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,23]],"date-time":"2019-04-23T11:39:37Z","timestamp":1556019577000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10720327_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540676287","9783540451488"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/10720327_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}