{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T03:17:25Z","timestamp":1743131845444,"version":"3.40.3"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319141244"},{"type":"electronic","value":"9783319141251"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-14125-1_11","type":"book-chapter","created":{"date-parts":[[2014,12,10]],"date-time":"2014-12-10T12:03:10Z","timestamp":1418212990000},"page":"183-201","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A New Hybrid Debugging Architecture for Eclipse"],"prefix":"10.1007","author":[{"given":"Juan","family":"Gonz\u00e1lez","sequence":"first","affiliation":[]},{"given":"David","family":"Insa","sequence":"additional","affiliation":[]},{"given":"Josep","family":"Silva","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,12,11]]},"reference":[{"key":"11_CR1","unstructured":"Swi-prolog (1987). http:\/\/www.swi-prolog.org\/"},{"key":"11_CR2","unstructured":"Netbeans (1999). http:\/\/www.netbeans.org\/"},{"key":"11_CR3","unstructured":"Eclipse (2003). http:\/\/www.eclipse.org\/"},{"key":"11_CR4","unstructured":"Omnicore codeguide (2007). http:\/\/www.omnicore.com\/en\/codeguide.htm"},{"key":"11_CR5","unstructured":"Borland JBuilder (2008). http:\/\/www.embarcadero.com\/products\/jbuilder\/"},{"key":"11_CR6","unstructured":"Sicstus prolog spider ide (2009). https:\/\/sicstus.sics.se\/spider\/"},{"key":"11_CR7","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1145\/1085099.1085102","volume-title":"In: Proceedings 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: Proceedings of the 2005 ACM-SIGPLAN Workshop on Curry and Functional Logic Programming (WCFLP 2005), pp. 8\u201313. ACM Press, New York (2005)"},{"key":"11_CR8","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)"},{"key":"11_CR9","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1145\/1028664.1028762","volume-title":"In: Companion to the 19th Annual ACM-SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2004)","author":"P Gestwicki","year":"2004","unstructured":"Gestwicki, P., Jayaraman, B.: JIVE: Java Interactive Visualization Environment. In: Companion to the 19th Annual ACM-SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2004), pp. 226\u2013228. ACM Press, New York (2004)"},{"key":"11_CR10","unstructured":"Giammona, D.: ORACLE ADF - Putting It Together. Technical report, ADF Declarative Debugger Archives (November 2009)"},{"key":"11_CR11","unstructured":"Girgis, H., Jayaraman, B.: JavaDD: a Declarative Debugger for Java. Technical report,University at Buffalo (2006)"},{"key":"11_CR12","unstructured":"Gonz\u00e1lez, F., De Miguel, R., Serrano, S.: Depurador Declarativo de Programas Java. Technical report, Universidad Complutense de Madrid (2006). http:\/\/eprints.ucm.es\/9114\/"},{"key":"11_CR13","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":"11_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/3-540-36560-5_4","volume-title":"Web, Web-Services, and Database Systems","author":"M Montebello","year":"2003","unstructured":"Montebello, M., Abela, C.: Design and Implementation of a Backward-In-Time. In: Chaudhri, A.B., Jeckle, M., Rahm, E., Unland, R. (eds.) NODe-WS 2002. LNCS, vol. 2593, pp. 46\u201358. Springer, Heidelberg (2003)"},{"key":"11_CR15","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":"11_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/978-3-642-20551-4_10","volume-title":"Logic-Based Program Synthesis and Transformation","author":"D Insa","year":"2011","unstructured":"Insa, D., Silva, J.: Scaling Up Algorithmic Debugging with Virtual Execution Trees. In: Alpuente, M. (ed.) LOPSTR 2010. LNCS, vol. 6564, pp. 149\u2013163. Springer, Heidelberg (2011)"},{"key":"11_CR17","unstructured":"Insa, D., Silva, J.: loops2recursion Java Library (2013). http:\/\/www.dsic.upv.es\/~jsilva\/loops2recursion\/"},{"key":"11_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"684","DOI":"10.1007\/3-540-44839-X_72","volume-title":"Proceedings of the 2003 Computational Science and Its Applications (ICCSA 2003)","author":"H-J Kouh","year":"2003","unstructured":"Kouh, H.-J., Yoo, W.-H.: The Efficient Debugging System for Locating Logical Errors in Java Programs. In: Kumar, V., Gavrilova, M.L., Kenneth Tan, C.J., L\u2019Ecuyer, P. (eds.) ICCSA 2003. LNCS, vol. 2667, pp. 684\u2013693. Springer, Heidelberg (2003)"},{"key":"11_CR19","unstructured":"B. Lewis. Debugging Backwards in Time. Available in the Computing Research Repository 2003, (http:\/\/arxiv.org\/abs\/cs.SE\/0310016), cs.SE\/0310016"},{"key":"11_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"592","DOI":"10.1007\/978-3-540-70592-5_25","volume-title":"ECOOP 2008 \u2013 Object-Oriented Programming","author":"A Lienhard","year":"2008","unstructured":"Lienhard, A., G\u00eerba, T., Wang, J.: Practical Object-Oriented Back-in-Time Debugging. In: Vitek, J. (ed.) ECOOP 2008. LNCS, vol. 5142, pp. 592\u2013615. Springer, Heidelberg (2008)"},{"key":"11_CR21","unstructured":"S. Microsystems. Java Platform Debugger Architecture - JPDA (2010). http:\/\/java.sun.com\/javase\/technologies\/core\/toolsapis\/jpda\/"},{"key":"11_CR22","unstructured":"Mirghasemi, S., Barton, J., Petitpierre, C.: Debugging by lastChange. Technical report (2011). http:\/\/people.epfl.ch\/salman.mirghasemi"},{"key":"11_CR23","unstructured":"Nilsson, H.: Declarative Debugging for Lazy Functional Languages. PhD thesis, Link\u00f6ping, Sweden (May 1998)"},{"issue":"3","key":"11_CR24","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. Journal of Functional Programming 4(3), 337\u2013370 (1994)","journal-title":"Journal of Functional Programming"},{"key":"11_CR25","unstructured":"Pothier, G.: Towards Practical Omniscient Debugging. PhD thesis, University of Chile (June 2011)"},{"key":"11_CR26","doi-asserted-by":"crossref","unstructured":"Shapiro, E.: Algorithmic Program Debugging. MIT Press (1982)","DOI":"10.1145\/582153.582185"},{"issue":"11","key":"11_CR27","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. Advances in Engineering Software 42(11), 976\u2013991 (2011)","journal-title":"Advances in Engineering Software"}],"container-title":["Lecture Notes in Computer Science","Logic-Based Program Synthesis and Transformation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-14125-1_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,8]],"date-time":"2023-02-08T07:18:00Z","timestamp":1675840680000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-14125-1_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319141244","9783319141251"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-14125-1_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"11 December 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}