{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:58:35Z","timestamp":1725476315641},"publisher-location":"Berlin, Heidelberg","reference-count":44,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540411376"},{"type":"electronic","value":"9783540400165"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/10722311_3","type":"book-chapter","created":{"date-parts":[[2006,12,30]],"date-time":"2006-12-30T06:35:38Z","timestamp":1167460538000},"page":"63-107","source":"Crossref","is-referenced-by-count":9,"title":["A Generic Preprocessor for Program Validation and Debugging"],"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":[{"key":"3_CR1","first-page":"775","volume-title":"Proc. International Conference on Logic Programming","author":"A. Aggoun","year":"1991","unstructured":"Aggoun, A., Beldiceanu, N.: Overview of the chip compiler system. In: Proc. International Conference on Logic Programming, pp. 775\u2013789. MIT Press, Cambridge (1991)"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Bourdoncle, F.: Abstract debugging of higher-order imperative languages. In: Programming Languages Design and Implementation 1993, pp. 46\u201355 (1993)","DOI":"10.1145\/155090.155095"},{"key":"3_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 (May 1997)"},{"key":"3_CR4","unstructured":"Bueno, F., Cabeza, D., Carro, M., Hermenegildo, M., L\u00f3pez, 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":"3_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 \u201996","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)"},{"issue":"2","key":"3_CR6","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1145\/316686.316688","volume":"21","author":"F. Bueno","year":"1999","unstructured":"Bueno, F., Garc\u00eda de la Banda, M., Hermenegildo, M.: Effectiveness of Abstract Interpretation in Automatic Parallelization: A Case Study in Logic Programming. ACM Transactions on Programming Languages and Systems\u00a021(2), 189\u2013238 (1999)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"3_CR7","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, pp. 155\u2013170. U. of Link\u00f6ping Press (May 1997)"},{"key":"3_CR8","unstructured":"Bueno, F., L\u00f3pez, P., Puebla, G., Hermenegildo, M.: The Ciao Prolog Preprocessor. Technical Report CLIP8\/95.0.7.20, Technical University of Madrid (UPM), Facultad de Inform\u00e1tica, 28660 Boadilla del Monte, Madrid, Spain (November 1999)"},{"key":"3_CR9","unstructured":"Bueno, F., L\u00f3pez, P., Puebla, G., Hermenegildo, M., Pietrzak, P.: The CHIP Assertion Preprocessor. Technical Report CLIP1\/99.1, Technical University of Madrid (UPM), Facultad de Inform\u00e1tica, 28660 Boadilla del Monte, Madrid, Spain (March 1999), Also as deliverable of the ESPRIT project DISCIPL"},{"key":"3_CR10","unstructured":"Byrd, L.: Understanding the Control Flow of Prolog Programs. In: T\u00e1rnlund, S.-A. (ed.) Workshop on Logic Programming, Debrecen (1980)"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Cabeza, D., Hermenegildo, M.: A Modular, Standalone Compiler for Ciao Prolog and Its Generic Program Processing Library. Special Issue on Parallelism and Implementation of (C)LP Systems. Electronic Notes in Theoretical Computer Science. Elsevier - North Holland (2000) (to appear)","DOI":"10.1016\/S1571-0661(05)80103-3"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Cabeza, D., Hermenegildo, M.: The Ciao Module System: A New Module System for Prolog. Special Issue on Parallelism and Implementation of (C)LP Systems. Electronic Notes in Theoretical Computer Science. Elsevier - North Holland (2000) (to appear)","DOI":"10.1016\/S1571-0661(05)80105-7"},{"issue":"1","key":"3_CR13","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). The CLIP Group. Program Assertions. The Ciao System Documentation Series \u2013 TR CLIP4\/97.1, Facultad de Inform\u00e1tica, UPM (August 1997)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"1-3","key":"3_CR14","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/S0743-1066(98)10033-X","volume":"39","author":"M. Comini","year":"1999","unstructured":"Comini, M., Levi, G., Meo, M.C., Vitiello, G.: Abstract diagnosis. Journal of Logic Programming\u00a039(1-3), 43\u201393 (1999)","journal-title":"Journal of Logic Programming"},{"key":"3_CR15","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":"3_CR16","unstructured":"The COSYTEC Team. CHIP System Documentation (April 1996)"},{"key":"3_CR17","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":"3_CR18","first-page":"157","volume-title":"Types in Logic Programming","author":"P.W. Dart","year":"1992","unstructured":"Dart, P.W., Zobel, J.: A regular type language for logic programs. In: Pfenning, F. (ed.) Types in Logic Programming, pp. 157\u2013187. MIT Press, Cambridge (1992)"},{"key":"3_CR19","first-page":"48","volume-title":"1997 International Conference on Logic Programming","author":"S.K. Debray","year":"1997","unstructured":"Debray, S.K., L\u00f3pez-Garc\u00eda, P., Hermenegildo, M.: Non-Failure Analysis for Logic Programs. In: 1997 International Conference on Logic Programming, June 1997, pp. 48\u201362. MIT Press, Cambridge (1997)"},{"key":"3_CR20","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":"3_CR21","first-page":"501","volume-title":"Meta-programming in Logic Programming","author":"W. Drabent","year":"1989","unstructured":"Drabent, W., Nadjm-Tehrani, S., Ma\u0142uszy\u0144ski, 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":"3_CR22","series-title":"LNAI","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1007\/3-540-55930-2_21","volume-title":"Logic Programming in Action","author":"M. Ducass\u00e9","year":"1992","unstructured":"Ducass\u00e9, M.: OPIUM - an advanced debugging system. In: Comyn, G., Ratcliffe, M.J., Fuchs, N.E. (eds.) LPSS 1992. LNCS (LNAI), vol.\u00a0636, pp. 303\u2013312. Springer, Heidelberg (1992)"},{"key":"3_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0019397","volume-title":"Automated and Algorithmic Debugging","author":"M. Ducass\u00e9","year":"1993","unstructured":"Ducass\u00e9, M.: A pragmatic survey of automated debugging. In: Fritzson, P.A. (ed.) AADEBUG 1993. LNCS, vol.\u00a0749, pp. 1\u201315. Springer, Heidelberg (1993)"},{"issue":"20","key":"3_CR24","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1016\/0743-1066(94)90030-2","volume":"19","author":"M. Ducass\u00e9","year":"1994","unstructured":"Ducass\u00e9, M., Noy\u00e9, J.: Logic programming environments: Dynamic program analysis and debugging. Journal of Logic Programming\u00a019(20), 351\u2013384 (1994)","journal-title":"Journal of Logic Programming"},{"key":"3_CR25","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1145\/154630.154640","volume-title":"Proceedings of PEPM 1993, the ACM Sigplan Symposium on Partial Evaluation and Semantics Based Program Manipulation","author":"J.P. Gallagher","year":"1993","unstructured":"Gallagher, J.P.: Tutorial on specialisation of logic programs. In: Proceedings of PEPM 1993, the ACM Sigplan Symposium on Partial Evaluation and Semantics Based Program Manipulation, pp. 88\u201398. ACM Press, New York (1993)"},{"key":"3_CR26","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. The MIT Press, Cambridge (1994)"},{"issue":"5","key":"3_CR27","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":"3_CR28","doi-asserted-by":"crossref","unstructured":"Hermenegildo, M.: A System for Automatically Generating Documentation for (C)LP Programs. Special Issue on Parallelism and Implementation of (C)LP Systems. Electronic Notes in Theoretical Computer Science (2000) (to appear)","DOI":"10.1016\/S1571-0661(05)80663-2"},{"key":"3_CR29","unstructured":"Hermenegildo, M., Bueno, F., Cabeza, D., Garc\u00eda de la Banda, M., L\u00f3pez, P., Puebla, G.: The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. In: Parallelism and Implementation of Logic and Constraint Logic Programming, Nova Science, Commack, NY, USA, pp. 65\u201385 (April 1999)"},{"key":"3_CR30","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, P.: Program Analysis, Debugging and Optimization Using the Ciao System Preprocessor. In: 1999 International Conference on Logic Programming, pp. 52\u201366. MIT Press, Cambridge (1999)"},{"key":"3_CR31","unstructured":"Hermenegildo, M., The CLIP Group: Programming with Global Analysis. In: Proceedings of ILPS 1997, pp. 49\u201352. MIT Press, Cambridge (1997)"},{"key":"3_CR32","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 Specifications, 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)"},{"issue":"4","key":"3_CR33","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1016\/0743-1066(92)90053-6","volume":"13","author":"M. Hermenegildo","year":"1992","unstructured":"Hermenegildo, M., Warren, R., Debray, S.K.: Global Flow Analysis as a Practical Compilation Tool. Journal of Logic Programming\u00a013(4), 349\u2013367 (1992)","journal-title":"Journal of Logic Programming"},{"key":"3_CR34","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":"3_CR35","volume-title":"Partial Evaluation and Automatic Program Generation","author":"N.D. Jones","year":"1993","unstructured":"Jones, N.D., Gomard, C.K., Sestoft, P.: Partial Evaluation and Automatic Program Generation. Prenctice Hall, New York (1993)"},{"key":"3_CR36","first-page":"37","volume-title":"Proceedings of Joint International Conference and Symposium on Logic Programming","author":"A. Kelly","year":"1996","unstructured":"Kelly, A., Macdonald, A., Marriott, K., Stuckey, P., Yap, R.: Eectiveness of optimizing compilation for CLP(R). In: Proceedings of Joint International Conference and Symposium on Logic Programming, pp. 37\u201351. The MIT Press, Cambridge (1996)"},{"key":"3_CR37","unstructured":"Kelly, A., Marriott, K., S\u00f8ndergaard, H., Stuckey, P.J.: A generic object oriented incremental analyser for constraint logic programs. In: Proceedings of the 20th Australasian Computer Science Conference, pp. 92\u2013101 (1997)"},{"issue":"2\/3","key":"3_CR38","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":"3_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/10720327_16","volume-title":"Logic-Based Program Synthesis and Transformation","author":"G. Puebla","year":"2000","unstructured":"Puebla, G., Bueno, F., Hermenegildo, M.: Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs. In: Bossi, A. (ed.) LOPSTR 1999. LNCS, vol.\u00a01817. Springer, Heidelberg (2000) (to appear)"},{"key":"3_CR40","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1145\/215465.215561","volume-title":"Proc. ACM SIGPLAN Symposium on Partial Evaluation and Semantics Based Program Manipulation","author":"G. Puebla","year":"1995","unstructured":"Puebla, G., Hermenegildo, M.: Implementation of Multiple Specialization in Logic Programs. In: Proc. ACM SIGPLAN Symposium on Partial Evaluation and Semantics Based Program Manipulation, pp. 77\u201387. ACM Press, New York (1995)"},{"issue":"2&3","key":"3_CR41","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":"3_CR42","doi-asserted-by":"crossref","unstructured":"Puebla, G., Hermenegildo, M.: Some Issues in Analysis and Specialization of Modular Ciao-Prolog Programs. In: Special Issue on Optimization and Implementation of Declarative Programming Languages. Electronic Notes in Theoretical Computer Science, vol.\u00a030, Elsevier - North Holland (March 2000)","DOI":"10.1016\/S1571-0661(05)80637-1"},{"key":"3_CR43","volume-title":"ACM Distiguished Dissertation","author":"E. Shapiro","year":"1982","unstructured":"Shapiro, E.: Algorithmic Program Debugging. In: ACM Distiguished Dissertation. The MIT Press, Cambridge (1982)"},{"key":"3_CR44","unstructured":"Yardeni, E., Shapiro, E.: A Type System for Logic Programs. Concurrent Prolog: Collected Papers, 211\u2013244 (1987)"}],"container-title":["Lecture Notes in Computer Science","Analysis and Visualization Tools for Constraint Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10722311_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,10]],"date-time":"2023-05-10T03:17:29Z","timestamp":1683688649000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10722311_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540411376","9783540400165"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/10722311_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}