{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T02:31:14Z","timestamp":1752460274466},"publisher-location":"Berlin, Heidelberg","reference-count":24,"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_11","type":"book-chapter","created":{"date-parts":[[2006,12,30]],"date-time":"2006-12-30T06:35:38Z","timestamp":1167460538000},"page":"253-272","source":"Crossref","is-referenced-by-count":7,"title":["Tools for Constraint Visualisation: The VIFID\/TRIFID Tool"],"prefix":"10.1007","author":[{"given":"Manuel","family":"Carro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"Hermenegildo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"Aggoun, A., Simonis, H.: Search Tree Visualization. Technical Report D.WP1.1.M1.1-2, COSYTEC (June 1997). In: the ESPRIT LTR Project 22352 DiSCiPl"},{"issue":"6","key":"11_CR2","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":"4","key":"11_CR3","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1145\/248448.248458","volume":"40","author":"R. Baecker","year":"1997","unstructured":"Baecker, R., DiGiano, C., Marcus, A.: Software Visualization for Debugging. Communications of the ACM\u00a040(4), 44\u201354 (1997)","journal-title":"Communications of the ACM"},{"key":"11_CR4","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":"11_CR5","unstructured":"Bueno, F., Deransart, P., Drabent, W., Ferrand, G., Hermenegildo, M., Maluszy\u0144ski, 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":"11_CR6","unstructured":"Byrd, L.: Understanding the Control Flow of Prolog Programs. In: T\u00e4rnlund, S.-A. (ed.) Workshop on Logic Programming, Debrecen (1980)"},{"key":"11_CR7","unstructured":"Cabeza, D., Hermenegildo, M.: WWW Programming using Computational Logic Systems (and the PILLOW\/CIAO Library). In: Proceedings of the Workshop on Logic Programming and the WWW at WWW6, San Francisco, CA (April 1997)"},{"key":"11_CR8","unstructured":"Carro, M., Hermenegildo, M.: Some Design Issues in the Visualization of Constraint Program Execution. In: AGP 1998 Joint Conference on Declarative Programming, pp. 71\u201386 (July 1998)"},{"key":"11_CR9","unstructured":"The CLIP Group. Program Assertions. The CIAO System Documentation Series \u2013 TR CLIP4\/97.1, Facultad de Inform\u00e1tica, UPM (August 1997)"},{"key":"11_CR10","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. The MIT Press, Cambridge (1989)"},{"issue":"20","key":"11_CR11","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":"11_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"400","DOI":"10.1007\/3-540-55844-6_150","volume-title":"Programming Language Implementation and Logic Programming","author":"M. Ducass\u00e9","year":"1992","unstructured":"Ducass\u00e9, M.: A General Query Mechanism Based on Prolog. In: Bruynooghe, M., Wirsing, M. (eds.) PLILP 1992. LNCS, vol.\u00a0631, pp. 400\u2013414. Springer, Heidelberg (1992)"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Eisenstadt, M., Brayshaw, M.: The Transparent Prolog Machine (TPM): An Execution Model and Graphical Debugger for Logic Programming. Journal of Logic Programming\u00a05(4) (1988)","DOI":"10.1016\/0743-1066(88)90001-5"},{"key":"11_CR14","unstructured":"Fabris, M.: CP Debugging Needs. Technical report, ICON s.r.l. ESPRIT LTR Project 22352 DiSCiPl deliverable D.WP1.1.M1.1. (April 1997)"},{"key":"11_CR15","unstructured":"Fern\u00e1ndez, J.M.: Declarative debugging for BABEL. Master\u2019s thesis, School of Computer Science, Technical University of Madrid (October 1994)"},{"key":"11_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"724","DOI":"10.1007\/BFb0024769","volume-title":"Euro-Par\u201996 - Parallel Processing","author":"M. Fern\u00e1ndez","year":"1996","unstructured":"Fern\u00e1ndez, M., Carro, M., Hermenegildo, M.: IDRA (IDeal Resource Allocation): Computing Ideal Speedups in Parallel Logic Programming. In: Fraigniaud, P., Mignotte, A., Robert, Y., Boug\u00e9, L. (eds.) Euro-Par 1996. LNCS, vol.\u00a01124, pp. 724\u2013734. Springer, Heidelberg (1996)"},{"key":"11_CR17","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"},{"issue":"8","key":"11_CR18","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1145\/232014.232028","volume":"39","author":"K. Kahn","year":"1996","unstructured":"Kahn, K.: Drawing on Napkins, Video-game Animation, and Other Ways to Program Computers. Communications of the ACM\u00a039(8), 49\u201359 (1996)","journal-title":"Communications of the ACM"},{"key":"11_CR19","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5625.001.0001","volume-title":"Programming with Constraints: An Introduction","author":"K. Marriot","year":"1998","unstructured":"Marriot, K., Stuckey, P.: Programming with Constraints: An Introduction. The MIT Press, Cambridge (1998)"},{"key":"11_CR20","unstructured":"Meier, M.: Grace User Manual (1996), Available at \n                    \n                      http:\/\/www.ecrc.de\/eclipse\/html\/grace\/grace.html"},{"key":"11_CR21","unstructured":"Sun Microsystems. Animated Sorting Algorithms (1997), Available at \n                    \n                      http:\/\/java.sun.com\/applets\/"},{"key":"11_CR22","first-page":"694","volume-title":"Proceedings of the 1991 International Symposium on Logic Programming","author":"U. Montanari","year":"1991","unstructured":"Montanari, U., Rossi, F.: True-concurrency in Concurrent Constraint Programming. In: Saraswat, V., Ueda, K. (eds.) Proceedings of the 1991 International Symposium on Logic Programming, San Diego, USA, pp. 694\u2013716. The MIT Press, Cambridge (1991)"},{"key":"11_CR23","unstructured":"Ramos, J.M.: VIFID: Variable Visualization for Constraint Domains. Master\u2019s thesis, Technical University of Madrid, School of Computer Science, E-28660, Boadilla del Monte, Madrid, Spain (September 1998)"},{"key":"11_CR24","unstructured":"Smedb\u00e4ck, G., Carro, M., Hermenegildo, M.: Interfacing Prolog and VRML and its Application to Constraint Visualization. In: The Practical Application of Constraint Technologies and Logic programming, pp. 453\u2013471. The Practical Application Company (April 1999)"}],"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_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,23]],"date-time":"2019-03-23T11:40:12Z","timestamp":1553341212000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10722311_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540411376","9783540400165"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/10722311_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}