{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T01:30:09Z","timestamp":1725672609524},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,9]]},"DOI":"10.1109\/icsm.2010.5609661","type":"proceedings-article","created":{"date-parts":[[2010,11,5]],"date-time":"2010-11-05T18:01:44Z","timestamp":1288980104000},"page":"1-6","source":"Crossref","is-referenced-by-count":16,"title":["An algorithmic debugger for Java"],"prefix":"10.1109","author":[{"given":"David","family":"Insa","sequence":"first","affiliation":[]},{"given":"Josep","family":"Silva","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"year":"2010","journal-title":"Java Platform Debugger Architecturex","key":"19"},{"key":"17","first-page":"243","article-title":"Three new algorithmic debugging strategies","author":"silva","year":"2006","journal-title":"Proc of VI Jornadas de Programacio?n y Lenguajes (PROLE'06)"},{"doi-asserted-by":"publisher","key":"18","DOI":"10.1007\/978-3-540-71410-1_11"},{"year":"2006","author":"pope","journal-title":"A Declarative Debugger for Haskell","key":"15"},{"year":"1982","author":"shapiro","journal-title":"Algorithmic Program Debugging","key":"16"},{"year":"2005","author":"maclarty","journal-title":"Practical Declarative Debugging of Mercury Programs","key":"13"},{"year":"1998","author":"nilsson","journal-title":"Declarative Debugging for Lazy Functional Languages","key":"14"},{"key":"11","article-title":"Balancing execution trees","author":"insa","year":"2010","journal-title":"Proc of the 10th Spanish Workshop on Programming Languages (PROLE 2010)"},{"key":"12","article-title":"Debugging with incomplete and dynamically generated execution trees","author":"insa","year":"2010","journal-title":"Proc of the 20th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2010)"},{"key":"3","first-page":"78","article-title":"A debugger for functional logic languages","author":"bra\ufffdel","year":"2008","journal-title":"Proc of the 25th Workshop der GI-Fachgruppe"},{"year":"1995","author":"binks","journal-title":"Declarative Debugging in Go?del","key":"2"},{"year":"1984","author":"av-ron","journal-title":"Top-down Diagnosis of Prolog Programs","key":"1"},{"year":"2006","author":"gonza?lez","journal-title":"Depurador Declarativo de Programas JAVA","key":"10"},{"year":"2009","author":"giammona","journal-title":"ORACLE ADF-Putting It Together ADF Declarative Debugger Archives","key":"7"},{"key":"6","article-title":"Hat-delta: One right does make a wrong","author":"davie","year":"2006","journal-title":"Seventh Symposium on Trends in Functional Programming"},{"doi-asserted-by":"publisher","key":"5","DOI":"10.1016\/j.entcs.2007.01.005"},{"doi-asserted-by":"publisher","key":"4","DOI":"10.1145\/1085099.1085102"},{"doi-asserted-by":"publisher","key":"9","DOI":"10.1007\/BFb0019407"},{"year":"2006","author":"girgis","journal-title":"JavaDD A Declarative Debugger for Java","key":"8"}],"event":{"name":"2010 IEEE 26th International Conference on Software Maintenance (ICSM)","start":{"date-parts":[[2010,9,12]]},"location":"Timi oara, Romania","end":{"date-parts":[[2010,9,18]]}},"container-title":["2010 IEEE International Conference on Software Maintenance"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5604771\/5609528\/05609661.pdf?arnumber=5609661","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,19]],"date-time":"2017-03-19T00:53:05Z","timestamp":1489884785000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5609661\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/icsm.2010.5609661","relation":{},"subject":[],"published":{"date-parts":[[2010,9]]}}}