{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,9]],"date-time":"2025-09-09T21:41:49Z","timestamp":1757454109127},"publisher-location":"Berlin, Heidelberg","reference-count":32,"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_2","type":"book-chapter","created":{"date-parts":[[2006,12,30]],"date-time":"2006-12-30T11:35:38Z","timestamp":1167478538000},"page":"23-61","source":"Crossref","is-referenced-by-count":49,"title":["An Assertion Language for 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":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Bossi, A., Gabbrielli, M., Levi, G., Martelli, M.: The s-semantics approach: Theory and applications. Journal of Logic Programming. Journal of Logic Programming 19&20 (1994)","DOI":"10.1016\/0743-1066(94)90026-4"},{"key":"2_CR2","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":"2_CR3","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":"2_CR4","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)"},{"key":"2_CR5","unstructured":"Bueno, F., Deransart, P., Drabent, W., Ferrand, G., Hermenegildo, M., Ma\u0142uszy\u0144ski, J.: 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":"2_CR6","unstructured":"Bueno, F., L\u00f3pez-Garc\u00eda, 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":"2_CR7","doi-asserted-by":"crossref","unstructured":"Cordes, D., Brown, M.: The Literate Programming Paradigm. IEEE Computer Magazine (June 1991)","DOI":"10.1109\/2.86838"},{"key":"2_CR8","first-page":"316","volume-title":"Symposium on Principles of Programming Languages","author":"P. Cousot","year":"1997","unstructured":"Cousot, P.: Types as Abstract Interpretations. In: Symposium on Principles of Programming Languages, pp. 316\u2013331. ACM Press, New York (1997)"},{"key":"2_CR9","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":"2_CR10","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":"2_CR11","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":"2_CR12","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":"2_CR13","volume-title":"Int\u2019l. WS on Hypermedia Design, Workshops in Computing","author":"L. Friendly","year":"1996","unstructured":"Friendly, L.: The Design of Distributed Hyperlink Program Documentation. In: Int\u2019l. WS on Hypermedia Design, Workshops in Computing. Springer, Heidelberg (1996), Available from http:\/\/java.sun.com\/docs\/javadoc-paper.html"},{"issue":"5","key":"2_CR14","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":"2_CR15","unstructured":"Hermenegildo, M.: A Documentation Generator for Logic Programming Systems. In: ICLP 1999 Workshop on Logic Programming Environments, pp. 80\u201397, N.M. State University (December 1999)"},{"key":"2_CR16","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, pp. 52\u201366. MIT Press, Cambridge (1999)"},{"key":"2_CR17","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)"},{"key":"2_CR18","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":"2_CR19","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":"2_CR20","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.: Effectiveness of optimizing compilation for CLP(R). In: Proceedings of Joint International Conference and Symposium on Logic Programming, pp. 37\u201351. MIT Press, Cambridge (1996)"},{"key":"2_CR21","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1093\/comjnl\/27.2.97","volume":"27","author":"D. Knuth","year":"1984","unstructured":"Knuth, D.: Literate programming. Computer Journal\u00a027, 97\u2013111 (1984)","journal-title":"Computer Journal"},{"key":"2_CR22","volume-title":"19th. Annual ACM Conf. on Principles of Programming Languages","author":"K. Marriott","year":"1992","unstructured":"Marriott, K., Stuckey, P.: The 3 R\u2019s of Optimizing Constraint Logic Programs: Refinement, Removal, and Reordering. In: 19th. Annual ACM Conf. on Principles of Programming Languages. ACM Press, New York (1992)"},{"issue":"2\/3","key":"2_CR23","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":"2_CR24","unstructured":"Naish, L.: A three-valued declarative debugging scheme. In: 8th Workshop on Logic Programming Environments (July 1997). ICLP Post-Conference Workshop"},{"key":"2_CR25","doi-asserted-by":"crossref","unstructured":"Puebla, G., Bueno, F., Hermenegildo, M.: An Assertion Language for Debugging of Constraint Logic Programs. In: Proceedings of the ILPS 1997 Workshop on Tools and Environments for (Constraint) Logic Programming (October 1997)","DOI":"10.1007\/3-540-49481-2_43"},{"key":"2_CR26","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":"2_CR27","volume-title":"ACM Distiguished Dissertation","author":"E. Shapiro","year":"1982","unstructured":"Shapiro, E.: Algorithmic Program Debugging. In: ACM Distiguished Dissertation, MIT Press, Cambridge (1982)"},{"key":"2_CR28","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-3) (October 1996)","DOI":"10.1016\/S0743-1066(96)00068-4"},{"key":"2_CR29","doi-asserted-by":"crossref","unstructured":"Van Roy, P., Despain, A.M.: High-Performace Logic Programming with the Aquarius Prolog Compiler. IEEE Computer Magazine, 54\u201368 (January 1992)","DOI":"10.1109\/2.108055"},{"key":"2_CR30","unstructured":"Vetillard, E.: Utilisation de Declarations en Programmation Logique avec Constraintes. PhD thesis, U. of Aix-Marseilles II (1994)"},{"key":"2_CR31","first-page":"684","volume-title":"Fifth International Conference and Symposium on Logic Programming","author":"R. Warren","year":"1988","unstructured":"Warren, R., Hermenegildo, M., Debray, S.K.: On the Practicality of Global Flow Analysis of Logic Programs. In: Fifth International Conference and Symposium on Logic Programming, pp. 684\u2013699. MIT Press, Cambridge (1988)"},{"key":"2_CR32","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_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,10]],"date-time":"2023-05-10T07:17:19Z","timestamp":1683703039000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10722311_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540411376","9783540400165"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/10722311_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}