{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T04:13:45Z","timestamp":1746245625768,"version":"3.40.4"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319071503"},{"type":"electronic","value":"9783319071510"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-07151-0_4","type":"book-chapter","created":{"date-parts":[[2014,5,22]],"date-time":"2014-05-22T03:30:14Z","timestamp":1400729414000},"page":"52-68","source":"Crossref","is-referenced-by-count":5,"title":["Using Big-Step and Small-Step Semantics in Maude to Perform Declarative Debugging"],"prefix":"10.1007","author":[{"given":"Adri\u00e1n","family":"Riesco","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/S0304-3975(99)00206-6","volume":"236","author":"A. Bouhoula","year":"2000","unstructured":"Bouhoula, A., Jouannaud, J.-P., Meseguer, J.: Specification and proof in membership equational logic. Theoretical Computer Science\u00a0236, 35\u2013132 (2000)","journal-title":"Theoretical Computer Science"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Caballero, R.: A declarative debugger of incorrect answers for constraint functional-logic programs. In: Antoy, S., Hanus, M. (eds.) Proc. 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":"4_CR3","doi-asserted-by":"crossref","unstructured":"Caballero, R., Hermanns, C., Kuchen, H.: Algorithmic debugging of Java programs. In: L\u00f3pez-Fraguas, F. (ed.) Proc. 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":"4_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"All About Maude - A High-Performance Logical Framework","author":"M. Clavel","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.: All About Maude - A High-Performance Logical Framework. LNCS, vol.\u00a04350. Springer, Heidelberg (2007)"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-642-16310-4_8","volume-title":"Rewriting Logic and Its Applications","author":"T.F. \u015eerb\u0103nu\u0163\u0103","year":"2010","unstructured":"\u015eerb\u0103nu\u0163\u0103, T.F., Ro\u015fu, G.: K-Maude: A rewriting based tool for semantics of programming languages. In: \u00d6lveczky, P.C. (ed.) WRLA 2010. LNCS, vol.\u00a06381, pp. 104\u2013122. Springer, Heidelberg (2010)"},{"key":"4_CR6","unstructured":"Hennessy, M.: The Semantics of Programming Languages: An Elementary Introduction Using Structural Operational Semantics. John Wiley & Sons (1990)"},{"key":"4_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/978-3-642-38197-3_6","volume-title":"Logic-Based Program Synthesis and Transformation","author":"D. Insa","year":"2013","unstructured":"Insa, D., Silva, J., Tom\u00e1s, C.: Enhancing declarative debugging with loop expansion and tree compression. In: Albert, E. (ed.) LOPSTR 2012. LNCS, vol.\u00a07844, pp. 71\u201388. Springer, Heidelberg (2013)"},{"key":"4_CR8","unstructured":"MacLarty, I.: Practical declarative debugging of Mercury programs. Master\u2019s thesis, University of Melbourne (2005)"},{"issue":"1","key":"4_CR9","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"Meseguer, J.: Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science\u00a096(1), 73\u2013155 (1992)","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"4_CR10","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":"4_CR11","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":"4_CR12","unstructured":"Pope, B.: A Declarative Debugger for Haskell. PhD thesis, The University of Melbourne, Australia (2006)"},{"key":"4_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1007\/978-3-642-32943-2_7","volume-title":"Theoretical Aspects of Computing \u2013 ICTAC 2012","author":"A. Riesco","year":"2012","unstructured":"Riesco, A.: Using semantics specified in Maude to generate test cases. In: Roychoudhury, A., D\u2019Souza, M. (eds.) ICTAC 2012. LNCS, vol.\u00a07521, pp. 90\u2013104. Springer, Heidelberg (2012)"},{"issue":"7-8","key":"4_CR14","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":"4_CR15","doi-asserted-by":"crossref","unstructured":"Shapiro, E.Y.: Algorithmic Program Debugging. ACM Distinguished Dissertation. MIT Press (1983)","DOI":"10.7551\/mitpress\/1192.001.0001"},{"key":"4_CR16","series-title":"LNCS","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., Ma\u0142uszy\u0144ski, J. (eds.) DiSCiPl 1999. LNCS, vol.\u00a01870, pp. 151\u2013174. Springer, Heidelberg (2000)"},{"key":"4_CR17","unstructured":"Verdejo, A., Mart\u00ed-Oliet, N.: Executable structural operational semantics in Maude. Technical Report 134-03, Dpto. Sistemas Inform\u00e1ticos y Programaci\u00f3n, Universidad Complutense de Madrid (2003)"},{"key":"4_CR18","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1016\/j.jlap.2005.09.008","volume":"67","author":"A. Verdejo","year":"2006","unstructured":"Verdejo, A., Mart\u00ed-Oliet, N.: Executable structural operational semantics in Maude. Journal of Logic and Algebraic Programming\u00a067, 226\u2013293 (2006)","journal-title":"Journal of Logic and Algebraic Programming"}],"container-title":["Lecture Notes in Computer Science","Functional and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-07151-0_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T00:33:05Z","timestamp":1746232385000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-07151-0_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319071503","9783319071510"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-07151-0_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}