{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T00:58:35Z","timestamp":1725843515104},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319274355"},{"type":"electronic","value":"9783319274362"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-27436-2_16","type":"book-chapter","created":{"date-parts":[[2015,12,16]],"date-time":"2015-12-16T07:06:46Z","timestamp":1450249606000},"page":"261-276","source":"Crossref","is-referenced-by-count":1,"title":["A Generalized Model for Algorithmic Debugging"],"prefix":"10.1007","author":[{"given":"David","family":"Insa","sequence":"first","affiliation":[]},{"given":"Josep","family":"Silva","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,12,17]]},"reference":[{"key":"16_CR1","unstructured":"Eclipse (2003). \n                      http:\/\/www.eclipse.org\/"},{"key":"16_CR2","unstructured":"Barbour, T., Naish, L.: Declarative debugging of a logical-functional language. Technical report, University of Melbourne (1994)"},{"key":"16_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/978-3-540-85373-2_11","volume-title":"Implementation and Application of Functional Languages","author":"B Bra\u00dfel","year":"2008","unstructured":"Bra\u00dfel, B., Siegel, H.: Debugging lazy functional programs by asking the oracle. In: Chitil, O., Horv\u00e1th, Z., Zs\u00f3k, V. (eds.) IFL 2007. LNCS, vol. 5083, pp. 183\u2013200. Springer, Heidelberg (2008)"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"Caballero, R.: A declarative debugger of incorrect answers for constraint functional-logic programs. In: Proceedings of the 2005 ACM-SIGPLAN Workshop on Curry and Functional Logic Programming (WCFLP 2005), pp. 8\u201313. ACM Press, New York, USA (2005)","DOI":"10.1145\/1085099.1085102"},{"key":"16_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"581","DOI":"10.1007\/978-3-642-54862-8_49","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"R Caballero","year":"2014","unstructured":"Caballero, R., Martin-Martin, E., Riesco, A., Tamarit, S.: EDD: A declarative debugger for sequential erlang programs. In: \u00c1brah\u00e1m, E., Havelund, K. (eds.) TACAS 2014 (ETAPS). LNCS, vol. 8413, pp. 581\u2013586. Springer, Heidelberg (2014)"},{"key":"16_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-642-32211-2_6","volume-title":"Logic-Based Program Synthesis and Transformation","author":"R Caballero","year":"2012","unstructured":"Caballero, R., Riesco, A., Verdejo, A., Mart\u00ed-Oliet, N.: Simplifying questions in maude declarative debugger by transforming proof trees. In: Vidal, G. (ed.) LOPSTR 2011. LNCS, vol. 7225, pp. 73\u201389. Springer, Heidelberg (2012)"},{"key":"16_CR7","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/j.entcs.2009.07.015","volume":"246","author":"D Cheda","year":"2009","unstructured":"Cheda, D., Silva, J.: State of the practice in algorithmic debugging. Electron. Notes Theor. Comput. Sci. 246, 55\u201370 (2009)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"16_CR8","unstructured":"Davie, T., Chitil, O.: Hat-delta: one right does make a wrong. In: Butterfield, A., (ed.) Proceedings of the 17th International Workshop on Implementation and Application of Functional Languages (IFL 2005), p. 11, September 2005"},{"key":"16_CR9","unstructured":"Davie, T., Chitil, O.: Hat-delta: One right does make a wrong. In: Proceedings of the 7th Symposium on Trends in Functional Programming (TFP 2006), April 2006"},{"issue":"4","key":"16_CR10","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1145\/161494.161498","volume":"1","author":"P Fritzson","year":"1992","unstructured":"Fritzson, P., Shahmehri, N., Kamkar, M., Gyim\u00f3thy, T.: Generalized algorithmic debugging and testing. ACM Lett. Program. Lang. Syst. (LOPLAS) 1(4), 303\u2013322 (1992)","journal-title":"ACM Lett. Program. Lang. Syst. (LOPLAS)"},{"key":"16_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1007\/978-3-319-14125-1_11","volume-title":"Logic-Based Program Synthesis and Transformation","author":"J Gonz\u00e1lez","year":"2014","unstructured":"Gonz\u00e1lez, J., Insa, D., Silva, J.: A new hybrid debugging architecture for eclipse. In: Gupta, G., Pe\u00f1a, R. (eds.) LOPSTR 2013, LNCS 8901. LNCS, vol. 8901, pp. 183\u2013201. Springer, Heidelberg (2014)"},{"key":"16_CR12","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/978-3-642-36177-7_6","volume-title":"Software and Data Technologies","author":"C Hermanns","year":"2013","unstructured":"Hermanns, C., Kuchen, H.: Hybrid debugging of java programs. In: Escalona, M.J., Cordeiro, J., Shishkov, B. (eds.) ICSOFT 2011. CCIS, vol. 303, pp. 91\u2013107. Springer, Heidelberg (2013)"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"Insa, D., Silva, J.: An algorithmic debugger for java. In: Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), pp. 1\u20136 (2010)","DOI":"10.1109\/ICSM.2010.5609661"},{"key":"16_CR14","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/j.infsof.2014.10.001","volume":"58","author":"D Insa","year":"2015","unstructured":"Insa, D., Silva, J.: Automatic transformation of iterative loops into recursive methods. Inf. Soft. Technol. 58, 95\u2013109 (2015)","journal-title":"Inf. Soft. Technol."},{"key":"16_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/978-3-642-38916-0_8","volume-title":"Tests and Proofs","author":"D Insa","year":"2013","unstructured":"Insa, D., Silva, J., Riesco, A.: Speeding up algorithmic debugging using balanced execution trees. In: Veanes, M., Vigan\u00f2, L. (eds.) TAP 2013. LNCS, vol. 7942, pp. 133\u2013151. Springer, Heidelberg (2013)"},{"key":"16_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/978-3-642-38197-3_6","volume-title":"Logic-Based Program Synthesis and Transformation","author":"D Insa","year":"2013","unstructured":"Insa, D., Silva, J., Tom\u00e1s, C.: Enhancing declarative debugging with loop expansion and tree compression. In: Albert, E. (ed.) LOPSTR 2012. LNCS, vol. 7844, pp. 71\u201388. Springer, Heidelberg (2013)"},{"issue":"2","key":"16_CR17","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/BF03037396","volume":"5","author":"J Lloyd","year":"1987","unstructured":"Lloyd, J.: Declarative error diagnosis. New Gener. Comput. 5(2), 133\u2013154 (1987)","journal-title":"New Gener. Comput."},{"key":"16_CR18","unstructured":"Lux, M.: M\u00fcnster Curry User\u2019s Guide, May 2006. \n                      http:\/\/danae.uni-muenster.de\/lux\/curry\/user.pdf\n                      \n                    ,"},{"key":"16_CR19","unstructured":"MacLarty, I.D.: Practical Declarative Debugging of Mercury Programs. Ph.D. thesis, University of Melbourne (2005)"},{"key":"16_CR20","unstructured":"Naish, L., Dart, P.W., Zobel, J.: The NU-Prolog debugging environment. In: Porto, A. (ed.) Proceedings of the 6th International Conference on Logic Programming (ICLP 1989), pp. 521\u2013536. Lisboa, Portugal (1989)"},{"key":"16_CR21","unstructured":"Nilsson, H.: Declarative Debugging for Lazy Functional Languages. Ph.D. thesis, Link\u00f6ping, Sweden, May 1998"},{"issue":"6","key":"16_CR22","doi-asserted-by":"publisher","first-page":"629","DOI":"10.1017\/S095679680100418X","volume":"11","author":"H Nilsson","year":"2001","unstructured":"Nilsson, H.: How to look busy while being as lazy as ever: the implementation of a lazy functional debugger. J. Funct. Program. 11(6), 629\u2013671 (2001)","journal-title":"J. Funct. Program."},{"issue":"3","key":"16_CR23","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1017\/S095679680000109X","volume":"4","author":"H Nilsson","year":"1994","unstructured":"Nilsson, H., Fritzson, P.: Algorithmic debugging for lazy functional languages. J. Funct. Program. 4(3), 337\u2013370 (1994)","journal-title":"J. Funct. Program."},{"key":"16_CR24","unstructured":"Nilsson, H., Sparud, J.: The evaluation dependence tree: an execution record for lazy functional debugging. Technical report, Department of Computer and Information Science, Link\u00f6ping\u00a0(1996)"},{"issue":"2","key":"16_CR25","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1023\/A:1008681016679","volume":"4","author":"H Nilsson","year":"1997","unstructured":"Nilsson, H., Sparud, J.: The evaluation dependence tree as a basis for lazy functional debugging. Autom. Softw. Eng. 4(2), 121\u2013150 (1997)","journal-title":"Autom. Softw. Eng."},{"key":"16_CR26","unstructured":"Pope, B.: A Declarative Debugger for Haskell. Ph.D. thesis, The University of Melbourne, Australia (2006)"},{"key":"16_CR27","volume-title":"Algorithmic Program Debugging","author":"E Shapiro","year":"1982","unstructured":"Shapiro, E.: Algorithmic Program Debugging. MIT Press, Cambridge (1982)"},{"key":"16_CR28","unstructured":"Shapiro, E.Y.: Inductive inference of theories from facts. Technical report RR 192, Yale University (New Haven, CT US) (1981)"},{"issue":"11","key":"16_CR29","doi-asserted-by":"publisher","first-page":"976","DOI":"10.1016\/j.advengsoft.2011.05.024","volume":"42","author":"J Silva","year":"2011","unstructured":"Silva, J.: A survey on algorithmic debugging strategies. Adv. Eng. Softw. 42(11), 976\u2013991 (2011)","journal-title":"Adv. Eng. Softw."},{"key":"16_CR30","doi-asserted-by":"crossref","unstructured":"Silva, J.: A vocabulary of program slicing-based techniques. ACM Comput. Surv. 44(3), 1\u201312 (2012)","DOI":"10.1145\/2187671.2187674"},{"key":"16_CR31","unstructured":"Thompson, B., Naish, L.: A guide to the nu-prolog debugging environment. Technical report, University of Melbourne (1997)"}],"container-title":["Lecture Notes in Computer Science","Logic-Based Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-27436-2_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:06:29Z","timestamp":1559347589000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-27436-2_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319274355","9783319274362"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-27436-2_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}