{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:59:19Z","timestamp":1762459159907},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642548611"},{"type":"electronic","value":"9783642548628"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-54862-8_49","type":"book-chapter","created":{"date-parts":[[2014,3,21]],"date-time":"2014-03-21T09:33:34Z","timestamp":1395394414000},"page":"581-586","source":"Crossref","is-referenced-by-count":7,"title":["EDD: A Declarative Debugger for Sequential Erlang Programs"],"prefix":"10.1007","author":[{"given":"Rafael","family":"Caballero","sequence":"first","affiliation":[]},{"given":"Enrique","family":"Martin-Martin","sequence":"additional","affiliation":[]},{"given":"Adrian","family":"Riesco","sequence":"additional","affiliation":[]},{"given":"Salvador","family":"Tamarit","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"49_CR1","unstructured":"Armstrong, J., Williams, M., Wikstrom, C., Virding, R.: Concurrent Programming in Erlang, 2nd edn. Prentice-Hall (1996)"},{"key":"49_CR2","unstructured":"Caballero, R., Martin-Martin, E., Riesco, A., Tamarit, S.: A zoom-declarative debugger for sequential Erlang programs. Submitted to the JLAP"},{"key":"49_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1007\/978-3-642-38916-0_6","volume-title":"Tests and Proofs","author":"R. Caballero","year":"2013","unstructured":"Caballero, R., Martin-Martin, E., Riesco, A., Tamarit, S.: A declarative debugger for sequential Erlang programs. In: Veanes, M., Vigan\u00f2, L. (eds.) TAP 2013. LNCS, vol.\u00a07942, pp. 96\u2013114. Springer, Heidelberg (2013)"},{"key":"49_CR4","doi-asserted-by":"crossref","unstructured":"Insa, D., Silva, J.: An algorithmic debugger for Java. In: Lanza, M., Marcus, A. (eds.) Proc. of ICSM 2010, pp. 1\u20136. IEEE Computer Society (2010)","DOI":"10.1109\/ICSM.2010.5609661"},{"issue":"3","key":"49_CR5","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/BF03037939","volume":"10","author":"L. Naish","year":"1992","unstructured":"Naish, L.: Declarative diagnosis of missing answers. New Generation Computing\u00a010(3), 255\u2013286 (1992)","journal-title":"New Generation Computing"},{"issue":"6","key":"49_CR6","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. Journal of Functional Programming\u00a011(6), 629\u2013671 (2001)","journal-title":"Journal of Functional Programming"},{"key":"49_CR7","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)"},{"issue":"11","key":"49_CR8","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\u00a042(11), 976\u2013991 (2011)","journal-title":"Advances in Engineering Software"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-54862-8_49","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T08:31:13Z","timestamp":1558859473000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-54862-8_49"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642548611","9783642548628"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-54862-8_49","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}