{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:58:41Z","timestamp":1762459121837},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642389153"},{"type":"electronic","value":"9783642389160"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38916-0_6","type":"book-chapter","created":{"date-parts":[[2013,6,10]],"date-time":"2013-06-10T02:13:47Z","timestamp":1370830427000},"page":"96-114","source":"Crossref","is-referenced-by-count":3,"title":["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":"Adri\u00e1n","family":"Riesco","sequence":"additional","affiliation":[]},{"given":"Salvador","family":"Tamarit","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"47","key":"6_CR1","doi-asserted-by":"publisher","first-page":"4055","DOI":"10.1016\/j.tcs.2010.07.009","volume":"411","author":"M. Alpuente","year":"2010","unstructured":"Alpuente, M., Ballis, D., Correa, F., Falaschi, M.: An integrated framework for the diagnosis and correction of rule-based programs. Theoretical Computer Science\u00a0411(47), 4055\u20134101 (2010)","journal-title":"Theoretical Computer Science"},{"key":"6_CR2","volume-title":"Concurrent Programming in Erlang","author":"J. Armstrong","year":"1996","unstructured":"Armstrong, J., Williams, M., Wikstrom, C., Virding, R.: Concurrent Programming in Erlang, 2nd edn. Prentice-Hall, Englewood Cliffs (1996)","edition":"2"},{"key":"6_CR3","unstructured":"Arts, T., Benac Earle, C., S\u00e1nchez Penas, J.J.: Translating Erlang to muCRL. In: Proceedings of the International Conference on Application of Concurrency to System Design, ACSD 2004, pp. 135\u2013144. IEEE Computer Society Press (June 2004)"},{"key":"6_CR4","first-page":"93","volume-title":"Proceedings of the 8th ACM SIGPLAN Workshop on ERLANG, ERLANG 2009","author":"C. Benac Earle","year":"2009","unstructured":"Benac Earle, C., Fredlund, L.A.: Recent improvements to the McErlang model checker. In: Proceedings of the 8th ACM SIGPLAN Workshop on ERLANG, ERLANG 2009, pp. 93\u2013100. ACM, New York (2009)"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Caballero, R.: A declarative debugger of incorrect answers for constraint functional-logic programs. In: Antoy, S., Hanus, M. (eds.) Proceedings of the 2005 ACM SIGPLAN Workshop on Curry and Functional Logic Programming, WCFLP 2005, Tallinn, Estonia, pp. 8\u201313. ACM Press (2005)","DOI":"10.1145\/1085099.1085102"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Caballero, R., Hermanns, C., Kuchen, H.: Algorithmic debugging of Java programs. In: L\u00f3pez-Fraguas, F. (ed.) Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming, WFLP 2006, Madrid, Spain. Electronic Notes in Theoretical Computer Science, vol.\u00a0177, pp. 75\u201389. Elsevier (2007)","DOI":"10.1016\/j.entcs.2007.01.005"},{"key":"6_CR7","unstructured":"Caballero, R., Martin-Martin, E., Riesco, A., Tamarit, S.: A calculus for sequential erlang programs. Technical Report 03\/13, Departamento de Sistemas Inform\u00e1ticos y Computaci\u00f3n (April 2013)"},{"key":"6_CR8","unstructured":"Carlsson, R.: An introduction to Core Erlang. In: Proceedings of the Erlang Workshop 2001, In Connection with PLI (2001)"},{"key":"6_CR9","unstructured":"Carlsson, R., Gustavsson, B., Johansson, E., Lindgren, T., Nystr\u00f6m, S.-O., Pettersson, M., Virding, R.: Core Erlang 1.0.3 language specification (November 2004), \n                  \n                    http:\/\/www.it.uu.se\/research\/group\/hipe\/cerl\/doc\/core_erlang-1.0.3.pdf"},{"key":"6_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1159789.1159791","volume-title":"Proceedings of the 2006 ACM SIGPLAN Workshop on Erlang, ERLANG 2006","author":"R. Carlsson","year":"2006","unstructured":"Carlsson, R., R\u00e9mond, M.: EUnit: a lightweight unit testing framework for Erlang. In: Proceedings of the 2006 ACM SIGPLAN Workshop on Erlang, ERLANG 2006, p. 1. ACM, New York (2006)"},{"key":"6_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/978-3-642-11503-5_11","volume-title":"Practical Aspects of Declarative Languages","author":"M. Christakis","year":"2010","unstructured":"Christakis, M., Sagonas, K.: Static detection of race conditions in Erlang. In: Carro, M., Pe\u00f1a, R. (eds.) PADL 2010. LNCS, vol.\u00a05937, pp. 119\u2013133. Springer, Heidelberg (2010)"},{"key":"6_CR12","unstructured":"Christensen, N.H.: Domain-specific languages in software development - and the relation to partial evaluation. PhD thesis, DIKU, Dept. of Computer Science, University of Copenhagen, Denmark (July 2003)"},{"key":"6_CR13","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1145\/1088361.1088376","volume-title":"Proceedings of the 2005 ACM SIGPLAN Workshop on Erlang, ERLANG 2005","author":"K. Claessen","year":"2005","unstructured":"Claessen, K., Svensson, H.: A semantics for distributed Erlang. In: Proceedings of the 2005 ACM SIGPLAN Workshop on Erlang, ERLANG 2005, pp. 78\u201387. ACM, New York (2005)"},{"issue":"1","key":"6_CR14","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1017\/S0956796804005362","volume":"15","author":"R. David","year":"2005","unstructured":"David, R., Mounier, G.: An intuitionistic lambda-calculus with exceptions. Journal of Functional Programming\u00a015(1), 33\u201352 (2005)","journal-title":"Journal of Functional Programming"},{"key":"6_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/BFb0014054","volume-title":"Typed Lambda Calculi and Applications","author":"P. Groote de","year":"1995","unstructured":"de Groote, P.: A simple calculus of exception handling. In: Dezani-Ciancaglini, M., Plotkin, G.D. (eds.) TLCA 1995. LNCS, vol.\u00a0902, pp. 201\u2013215. Springer, Heidelberg (1995)"},{"key":"6_CR16","unstructured":"Fredlund, L.-A.: A Framework for Reasoning about Erlang Code. PhD thesis, The Royal Institute of Technology, Sweden (August. 2001)"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"H\u00e4hnle, R., Baum, M., Bubel, R., Rothe, M.: A visual interactive debugger based on symbolic execution. In: Pecheur, C., Andrews, J., Nitto, E.D. (eds.) 25th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2010, pp. 143\u2013146. ACM (2010)","DOI":"10.1145\/1858996.1859022"},{"issue":"9","key":"6_CR18","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1145\/317765.317908","volume":"34","author":"F. Huch","year":"1999","unstructured":"Huch, F.: Verification of erlang programs using abstract interpretation and model checking. SIGPLAN Not.\u00a034(9), 261\u2013272 (1999)","journal-title":"SIGPLAN Not."},{"key":"6_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-69611-7_1","volume-title":"Practical Aspects of Declarative Languages","author":"J. Hughes","year":"2007","unstructured":"Hughes, J.: QuickCheck testing for fun and profit. In: Hanus, M. (ed.) PADL 2007. LNCS, vol.\u00a04354, pp. 1\u201332. Springer, Heidelberg (2007)"},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Insa, D., Silva, J.: An algorithmic debugger for Java. In: Lanza, M., Marcus, A. (eds.) Proceedings of the 26th IEEE International Conference on Software Maintenance, ICSM 2010, pp. 1\u20136. IEEE Computer Society (2010)","DOI":"10.1109\/ICSM.2010.5609661"},{"key":"6_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/978-3-540-30477-7_7","volume-title":"Programming Languages and Systems","author":"T. Lindahl","year":"2004","unstructured":"Lindahl, T., Sagonas, K.: Detecting software defects in telecom applications through lightweight static analysis: A war story. In: Chin, W.-N. (ed.) APLAS 2004. LNCS, vol.\u00a03302, pp. 91\u2013106. Springer, Heidelberg (2004)"},{"key":"6_CR22","unstructured":"MacLarty, I.: Practical declarative debugging of Mercury programs. Master\u2019s thesis, University of Melbourne (2005)"},{"issue":"3","key":"6_CR23","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"},{"key":"6_CR24","doi-asserted-by":"crossref","unstructured":"Naish, L.: A declarative debugging scheme. Journal of Functional and Logic Programming\u00a01997(3) (1997)","DOI":"10.7551\/mitpress\/4299.001.0001"},{"issue":"6","key":"6_CR25","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":"6_CR26","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. Automated Software Engineering\u00a04, 121\u2013150 (1997)","journal-title":"Automated Software Engineering"},{"key":"6_CR27","doi-asserted-by":"crossref","unstructured":"Papadakis, M., Sagonas, K.: A PropEr integration of types and function specifications with property-based testing. In: Proceedings of the 2011 ACM SIGPLAN Erlang Workshop, pp. 39\u201350. ACM Press (2011)","DOI":"10.1145\/2034654.2034663"},{"key":"6_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/11546382_7","volume-title":"Advanced Functional Programming","author":"B. Pope","year":"2005","unstructured":"Pope, B.: Declarative debugging with Buddha. In: Vene, V., Uustalu, T. (eds.) AFP 2004. LNCS, vol.\u00a03622, pp. 273\u2013308. Springer, Heidelberg (2005)"},{"key":"6_CR29","unstructured":"Pope, B.: A Declarative Debugger for Haskell. PhD thesis, The University of Melbourne, Australia (2006)"},{"issue":"7-8","key":"6_CR30","doi-asserted-by":"publisher","first-page":"851","DOI":"10.1016\/j.jlap.2011.06.004","volume":"81","author":"A. Riesco","year":"2012","unstructured":"Riesco, A., Verdejo, A., Mart\u00ed-Oliet, N., Caballero, R.: Declarative debugging of rewriting logic specifications. Journal of Logic and Algebraic Programming\u00a081(7-8), 851\u2013897 (2012)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"6_CR31","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1145\/2426890.2426897","volume-title":"Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, PEPM 2013","author":"K. Sagonas","year":"2013","unstructured":"Sagonas, K., Silva, J., Tamarit, S.: Precise explanation of success typing errors. In: Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, PEPM 2013, pp. 33\u201342. ACM, New York (2013)"},{"key":"6_CR32","unstructured":"Shapiro, E.Y.: Algorithmic Program Debugging. ACM Distinguished Dissertation. MIT Press (1983)"},{"key":"6_CR33","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":"6_CR34","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"},{"key":"6_CR35","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1145\/1292520.1292528","volume-title":"Proceedings of the 2007 SIGPLAN Workshop on ERLANG Workshop, ERLANG 2007","author":"H. Svensson","year":"2007","unstructured":"Svensson, H., Fredlund, L.-A.: A more accurate semantics for distributed Erlang. In: Proceedings of the 2007 SIGPLAN Workshop on ERLANG Workshop, ERLANG 2007, pp. 43\u201354. ACM, New York (2007)"},{"key":"6_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/10722311_6","volume-title":"Analysis and Visualization Tools for Constraint Programming","author":"A. Tessier","year":"2000","unstructured":"Tessier, A., Ferrand, G.: Declarative diagnosis in the CLP scheme. In: Deransart, P., Hermenegildo, M.V., Maluszynski, J. (eds.) DiSCiPl 1999. LNCS, vol.\u00a01870, pp. 151\u2013174. Springer, Heidelberg (2000)"}],"container-title":["Lecture Notes in Computer Science","Tests and Proofs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38916-0_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T00:33:32Z","timestamp":1557794012000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38916-0_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642389153","9783642389160"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38916-0_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}