{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T00:09:28Z","timestamp":1742947768680,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642247682"},{"type":"electronic","value":"9783642247699"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-24769-9_17","type":"book-chapter","created":{"date-parts":[[2011,10,10]],"date-time":"2011-10-10T11:13:38Z","timestamp":1318245218000},"page":"224-238","source":"Crossref","is-referenced-by-count":2,"title":["Optimal Divide and Query"],"prefix":"10.1007","author":[{"given":"David","family":"Insa","sequence":"first","affiliation":[]},{"given":"Josep","family":"Silva","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","unstructured":"Bra\u00dfel, B., Huch, F.: The Kiel Curry system KiCS. In: Proc of 17th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2007) and 21st Workshop on (Constraint) Logic Programming (WLP 2007), pp. 215\u2013223. Technical Report 434, University of W\u00fcrzburg (2007)"},{"key":"17_CR2","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1145\/1085099.1085102","volume-title":"Proc. of the 2005 ACM SIGPLAN Workshop on Curry and Functional Logic Programming (WCFLP 2005)","author":"R. Caballero","year":"2005","unstructured":"Caballero, R.: A Declarative Debugger of Incorrect Answers for Constraint Functional-Logic Programs. In: Proc. of the 2005 ACM SIGPLAN Workshop on Curry and Functional Logic Programming (WCFLP 2005), pp. 8\u201313. ACM Press, New York (2005)"},{"key":"17_CR3","unstructured":"Caballero, R.: Algorithmic Debugging of Java Programs. In: Proc. of the 2006 Workshop on Functional Logic Programming (WFLP 2006). Electronic Notes in Theoretical Computer Science, pp. 63\u201376 (2006)"},{"key":"17_CR4","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1016\/j.entcs.2009.05.013","volume":"238","author":"R. Caballero","year":"2009","unstructured":"Caballero, R., Mart\u00ed-Oliet, N., Riesco, A., Verdejo, A.: A Declarative Debugger for Maude Functional Modules. Electronic Notes in Theoretical Computer Science\u00a0238, 63\u201381 (2009)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"17_CR5","unstructured":"Davie, T., Chitil, O.: Hat-delta: One Right Does Make a Wrong. In: Seventh Symposium on Trends in Functional Programming, TFP 2006 (April 2006)"},{"issue":"4","key":"17_CR6","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. LOPLAS\u00a01(4), 303\u2013322 (1992)","journal-title":"LOPLAS"},{"key":"17_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/BFb0019407","volume-title":"Automated and Algorithmic Debugging","author":"V. Hirunkitti","year":"1993","unstructured":"Hirunkitti, V., Hogger, C.J.: A Generalised Query Minimisation for Program Debugging. In: Adsul, B. (ed.) AADEBUG 1993. LNCS, vol.\u00a0749, pp. 153\u2013170. Springer, Heidelberg (1993)"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"Insa, D., Silva, J.: An Algorithmic Debugger for Java. In: Proc. of the 26th IEEE International Conference on Software Maintenance, pp. 1\u20136 (2010)","DOI":"10.1109\/ICSM.2010.5609661"},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"Insa, D., Silva, J.: Optimal Divide and Query (extended version). Available in the Computing Research Repository (July 2011), \n                    \n                      http:\/\/arxiv.org\/abs\/1107.0350","DOI":"10.1007\/978-3-642-24769-9_17"},{"issue":"2","key":"17_CR10","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/BF03037396","volume":"5","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Declarative Error Diagnosis. New Gen. Comput.\u00a05(2), 133\u2013154 (1987)","journal-title":"New Gen. Comput."},{"key":"17_CR11","unstructured":"Luo, Y., Chitil, O.: Algorithmic debugging and trusted functions. Technical report 10-07, University of Kent, Computing Laboratory, UK (August 2007)"},{"key":"17_CR12","unstructured":"Lux, W.: M\u00fcnster Curry User\u2019s Guide (release 0.9.10 of May 10, 2006), \n                    \n                      http:\/\/danae.uni-muenster.de\/~lux\/curry\/user.pdf"},{"key":"17_CR13","unstructured":"MacLarty, I.: Practical Declarative Debugging of Mercury Programs. PhD thesis, Department of Computer Science and Software Engineering, The University of Melbourne (2005)"},{"key":"17_CR14","unstructured":"Naish, L., Dart, P.W., Zobel, J.: The NU-Prolog Debugging Environment. In: Porto, A. (ed.) Proceedings of the Sixth International Conference on Logic Programming, Lisboa, Portugal, pp. 521\u2013536 (June 1989)"},{"key":"17_CR15","unstructured":"Nilsson, H.: Declarative Debugging for Lazy Functional Languages. PhD thesis, Link\u00f6ping, Sweden (May 1998)"},{"key":"17_CR16","unstructured":"Pope, B.: A Declarative Debugger for Haskell. PhD thesis, The University of Melbourne, Australia (2006)"},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"Shapiro, E.: Algorithmic Program Debugging. MIT Press (1982)","DOI":"10.1145\/582153.582185"},{"key":"17_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/978-3-540-71410-1_11","volume-title":"Logic-Based Program Synthesis and Transformation","author":"J. Silva","year":"2007","unstructured":"Silva, J.: A Comparative Study of Algorithmic Debugging Strategies. In: Puebla, G. (ed.) LOPSTR 2006. LNCS, vol.\u00a04407, pp. 143\u2013159. Springer, Heidelberg (2007)"},{"key":"17_CR19","unstructured":"Silva, J.: An Empirical Evaluation of Algorithmic Debugging Strategies. Technical Report DSIC-II\/10\/09, UPV (2009), \n                    \n                      http:\/\/www.dsic.upv.es\/~jsilva\/research.htm#techs"}],"container-title":["Lecture Notes in Computer Science","Progress in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24769-9_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T20:24:42Z","timestamp":1558297482000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24769-9_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642247682","9783642247699"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24769-9_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}