{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:35:00Z","timestamp":1725561300277},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540206422"},{"type":"electronic","value":"9783540245995"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-24599-5_19","type":"book-chapter","created":{"date-parts":[[2010,7,29]],"date-time":"2010-07-29T08:53:55Z","timestamp":1280393635000},"page":"269-283","source":"Crossref","is-referenced-by-count":5,"title":["A Propagation Tracer for GNU-Prolog: From Formal Definition to Efficient Implementation"],"prefix":"10.1007","author":[{"given":"Ludovic","family":"Langevine","sequence":"first","affiliation":[]},{"given":"Mireille","family":"Ducass\u00e9","sequence":"additional","affiliation":[]},{"given":"Pierre","family":"Deransart","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","unstructured":"\u00c4gren, M., Szeredi, T., Beldiceanu, N., Carlsson, M.: Tracing and explaining execution of clp(fd) programs. In: Proc. of WLPE 2002 (2002) CoRR:cs.SE\/0207047"},{"key":"19_CR2","unstructured":"Bracchi, C., Gefflot, C., Paulin, F.: Combining propagation information and search-tree visualization using opl studio. In: Proc. of WLPE 2001, Cyprus (2001)"},{"issue":"3","key":"19_CR3","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/0743-1066(95)00121-2","volume":"27","author":"P. Codognet","year":"1996","unstructured":"Codognet, P., Diaz, D.: Compiling constraints in clp(FD). Journal of Logic Programming\u00a027(3), 185\u2013226 (1996)","journal-title":"Journal of Logic Programming"},{"key":"19_CR4","unstructured":"Deransart, P., Ducass\u00e9, M., Langevine, L.: A generic trace model for finite domain solvers. In: O\u2019Sullivan, B. (ed.) Proc. of UICS 2002, Ithaca, USA (2002)"},{"key":"19_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61411-8","volume-title":"Prolog, The Standard; Reference Manual","author":"P. Deransart","year":"1996","unstructured":"Deransart, P., Ed-Dbali, A., Cervoni, L.: Prolog, The Standard; Reference Manual, April 1996. Springer, Heidelberg (1996)"},{"key":"19_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"Analysis and Visualization Tools for Constraint Programming","year":"2000","unstructured":"Deransart, P., Hermenegildo, M., Maluszy\u0144ski, J. (eds.): DiSCiPl 1999. LNCS, vol.\u00a01870. Springer, Heidelberg (2000)"},{"key":"19_CR7","unstructured":"Diaz, D.: Gnu prolog, a free prolog compiler with constraint solving over finite domains. Distributed under the GNU GPL (2003), http:\/\/gprolog.sourceforge.net\/"},{"key":"19_CR8","unstructured":"Diaz, D., Codognet, P.: Design and implementation of the gnu prolog system. Journal of Functional and Logic Programming, 6\u201310 (2001)"},{"key":"19_CR9","unstructured":"Fages, F.: Clpgui: a generic graphical user interface for constraint logic programming over finite domains. In: Proc. of WLPE 2002 (2002) CoRR:cs.SE\/0207048"},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"Gent, I.P., Walsh, T.: CSPLib: a benchmark library for constraints. A presentation appears in the Proc. of CP 1999 (1999), http:\/\/csplib.cs.strath.ac.uk\/","DOI":"10.1007\/978-3-540-48085-3_36"},{"key":"19_CR11","unstructured":"Ilog. Solver 5.1 reference manual (2001)"},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"Jahier, E., Ducass\u00e9, M.: Generic program monitoring by trace analysis. Theory and Practice of Logic Programming (2002)","DOI":"10.1017\/S1471068402001461"},{"key":"19_CR13","unstructured":"Jussien, N., Barichard, V.: The palm system: explanation-based constraint programming. In: Proc. of TRICS 2000, Singapore, pp. 118\u2013133 (September 2000)"},{"key":"19_CR14","unstructured":"Langevine, L.: Codeine, a propagation tracer for GNU-Prolog (2003), http:\/\/contraintes.inria.fr\/~langevin\/codeine"},{"key":"19_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-59479-5","volume-title":"Principles and Practice of Constraint Programming - CP \u201995","author":"M. Meier","year":"1995","unstructured":"Meier, M.: Debugging constraint programs. In: Montanari, U., Rossi, F. (eds.) CP 1995. LNCS, vol.\u00a0976. Springer, Heidelberg (1995)"},{"key":"19_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1007\/3-540-45349-0_24","volume-title":"Principles and Practice of Constraint Programming - CP 2000","author":"T. M\u00fcller","year":"2000","unstructured":"M\u00fcller, T.: Practical investigation of constraints with graph views. In: Dechter, R. (ed.) CP 2000. LNCS, vol.\u00a01894, p. 320. Springer, Heidelberg (2000)"},{"key":"19_CR17","first-page":"286","volume-title":"Proc. of Iclp 1997","author":"C. Schulte","year":"1997","unstructured":"Schulte, C.: Oz Explorer: A Visual Constraint Programming Tool. In: Proc. of Iclp 1997, Leuven, Belgium, June 1997, pp. 286\u2013300. The MIT Press, Cambridge (1997)"},{"key":"19_CR18","series-title":"ENTCS","volume-title":"Proc. of WLPE 1999","author":"Z. Somogyi","year":"1999","unstructured":"Somogyi, Z., Henderson, F.: The implementation technology of the Mercury debugger. In: Proc. of WLPE 1999. ENTCS, vol.\u00a030(4). Elsevier, Amsterdam (1999)"},{"issue":"2","key":"19_CR19","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1017\/S0956796800001313","volume":"5","author":"A. Tolmach","year":"1995","unstructured":"Tolmach, A., Appel, A.W.: A debugger for Standard ML. Journal of Functional Programming\u00a05(2), 155\u2013200 (1995)","journal-title":"Journal of Functional Programming"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24599-5_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T23:55:11Z","timestamp":1559346911000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24599-5_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540206422","9783540245995"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24599-5_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}