{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T02:43:35Z","timestamp":1752461015599},"publisher-location":"Berlin, Heidelberg","reference-count":22,"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_10","type":"book-chapter","created":{"date-parts":[[2006,12,30]],"date-time":"2006-12-30T11:35:38Z","timestamp":1167478538000},"page":"237-252","source":"Crossref","is-referenced-by-count":5,"title":["Tools for Search-Tree Visualisation: The APT 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":"10_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":"10_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":"10_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":"10_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":"10_CR5","unstructured":"Bueno, F., Deransart, P., Drabent, W., Ferrand, G., Hermenegildo, M., Ma\u0142uszy\u0144ski, J., Puebla, G.: 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":"10_CR6","unstructured":"Byrd, L.: Understanding the Control Flow of Prolog Programs. In: T\u00e4rnlund, S.-A. (ed.) Workshop on Logic Programming, Debrecen (1980)"},{"key":"10_CR7","first-page":"184","volume-title":"1993 International Conference on Logic Programming","author":"M. Carro","year":"1993","unstructured":"Carro, M., G\u00f3mez, L., Hermenegildo, M.: Some Paradigms for Visualizing Parallel Execution of Logic Programs. In: 1993 International Conference on Logic Programming, pp. 184\u2013201. The MIT Press, Cambridge (1993)"},{"key":"10_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":"10_CR9","first-page":"774","volume-title":"Proceedings of the Tenth International Conference on Logic Programming","author":"D. Diaz","year":"1993","unstructured":"Diaz, D., Codognet, P.: A minimal extension of the WAM for clp(FD). In: Warren, D.S. (ed.) Proceedings of the Tenth International Conference on Logic Programming, Budapest, Hungary, pp. 774\u2013790. The MIT Press, Cambridge (1993)"},{"key":"10_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":"10_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":"10_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":"10_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":"10_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":"10_CR15","unstructured":"Fern\u00e1ndez, J.M.: Declarative debugging for babel. Master\u2019s thesis, School of Computer Science, Technical University of Madrid (October 1994)"},{"issue":"8","key":"10_CR16","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":"10_CR17","unstructured":"L\u00f3pez Luengo, A.: Apt: Implementing a graphical visualizer of the execution of logic programs. Master\u2019s thesis, Technical University of Madrid, School of Computer Science, E-28660, Boadilla del Monte, Madrid, Spain (October 1997)"},{"key":"10_CR18","series-title":"Professional Computing Series","volume-title":"Tcl and the Tk Toolkit","author":"J.K. Ousterhout","year":"1994","unstructured":"Ousterhout, J.K.: Tcl and the Tk Toolkit. Professional Computing Series. Addison-Wesley, Reading (1994)"},{"key":"10_CR19","unstructured":"PrologIA. Visual tools for debugging of Prolog IV programs. Technical Report D.WP3.5.M2.2, ESPRIT LTR Project 22352 DiSCiPl (October 1998)"},{"key":"10_CR20","volume-title":"ICLP 1997","author":"C. Schulte","year":"1997","unstructured":"Schulte, C.: Oz explorer: A visual constraint programming tool. In: Naish, L. (ed.) ICLP 1997. The MIT Press, Cambridge (July 1997)"},{"key":"10_CR21","unstructured":"Swedish Institute of Computer Science, P.O. Box 1263, S-16313 Spanga, Sweden. Sicstus Prolog V3.0 User\u2019s Manual (1995)"},{"key":"10_CR22","unstructured":"Tick, E.: Visualizing Parallel Logic Programming with VISTA. In: International Conference on Fifth Generation Computer Systems, Tokio, ICOT, pp. 934\u2013942 (June 1992)"}],"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_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,23]],"date-time":"2019-03-23T15:05:51Z","timestamp":1553353551000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10722311_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540411376","9783540400165"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/10722311_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}