{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:37:22Z","timestamp":1725550642070},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540291077"},{"type":"electronic","value":"9783540320722"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11560647_14","type":"book-chapter","created":{"date-parts":[[2005,10,20]],"date-time":"2005-10-20T10:04:06Z","timestamp":1129802646000},"page":"211-226","source":"Crossref","is-referenced-by-count":1,"title":["Formalizing the Debugging Process in Haskell"],"prefix":"10.1007","author":[{"given":"Alberto","family":"de la Encina","sequence":"first","affiliation":[]},{"given":"Luis","family":"Llana","sequence":"additional","affiliation":[]},{"given":"Fernando","family":"Rubio","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/3-540-45361-X_11","volume-title":"Implementation of Functional Languages","author":"O. Chitil","year":"2001","unstructured":"Chitil, O., Runciman, C., Wallace, M.: Freja, Hat and Hood \u2014 a comparative evaluation of three systems for tracing and debugging lazy functional programs. In: Mohnen, M., Koopman, P. (eds.) IFL 2000. LNCS, vol.\u00a02011, pp. 176\u2013193. Springer, Heidelberg (2001)"},{"key":"14_CR2","unstructured":"Encina, A., Llana, L., Rubio, F.: Formalizing the debugging process in Haskell, extended version (2005), \n                    \n                      http:\/\/dalila.sip.ucm.es\/miembros\/albertoe\/"},{"key":"14_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1007\/3-540-46028-4_6","volume-title":"Implementation of Functional Languages","author":"A. Encina","year":"2002","unstructured":"Encina, A., Pe\u00f1a, R.: Proving the correctness of the STG machine. In: Arts, T., Mohnen, M. (eds.) IFL 2002. LNCS, vol.\u00a02312, pp. 88\u2013104. Springer, Heidelberg (2002)"},{"key":"14_CR4","first-page":"102","volume-title":"Principles and Practice of Declarative Programming (PPDP 2003)","author":"A. Encina","year":"2003","unstructured":"Encina, A., Pe\u00f1a, R.: Formally deriving an STG machine. In: Principles and Practice of Declarative Programming (PPDP 2003), pp. 102\u2013112. ACM, New York (2003)"},{"key":"14_CR5","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1145\/871895.871904","volume-title":"7th Haskell Workshop","author":"R. Ennals","year":"2003","unstructured":"Ennals, R., Peyton Jones, S.: HsDebug: Debugging lazy programs by not being lazy. In: 7th Haskell Workshop, pp. 84\u201387. ACM, New York (2003)"},{"key":"14_CR6","unstructured":"Gill, A.: Debugging Haskell by observing intermediate data structures. In: 4th Haskell Workshop. Technical Report of the University of Nottingham (2000)"},{"key":"14_CR7","unstructured":"Gill, A.: Hood homepage (2005), \n                    \n                      http:\/\/www.haskell.org\/hood"},{"key":"14_CR8","series-title":"Lecture Notes in Computer Science","first-page":"303","volume-title":"Programming Languages and Systems - ESOP \u201996","author":"M. Hidalgo-Herrero","year":"1996","unstructured":"Hidalgo-Herrero, M., Ortega-Mall\u00e9n, Y.: Continuation semantics for parallel Haskell dialects. In: Riis Nielson, H. (ed.) ESOP 1996. LNCS, vol.\u00a01058, pp. 303\u2013321. Springer, Heidelberg (1996)"},{"key":"14_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/3-540-45361-X_5","volume-title":"Implementation of Functional Languages","author":"U. Klusik","year":"2001","unstructured":"Klusik, U., Loogen, R., Priebe, S., Rubio, F.: Implementation skeletons in Eden: Low-effort parallel programming. In: Mohnen, M., Koopman, P. (eds.) IFL 2000. LNCS, vol.\u00a02011, pp. 71\u201388. Springer, Heidelberg (2001)"},{"key":"14_CR10","unstructured":"Nilsson, H.: Declarative debugging for lazy functional languages. PhD thesis, Dpt. Computer and Information Science, Link\u00f6ping University, Sweden (1998)"},{"issue":"6","key":"14_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"},{"issue":"2","key":"14_CR12","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1017\/S0956796800000319","volume":"2","author":"S. Peyton Jones","year":"1992","unstructured":"Peyton Jones, S.: Implementing lazy functional languages on stock hardware: The spineless tagless G-machine, version 2.5. Journal of Functional Programming\u00a02(2), 127\u2013202 (1992)","journal-title":"Journal of Functional Programming"},{"key":"14_CR13","unstructured":"Peyton Jones, S., Hughes, J. (eds.): Report on the Programming Language Haskell 1998 (February 1999), \n                    \n                      http:\/\/www.haskell.org"},{"key":"14_CR14","first-page":"230","volume-title":"Principles and Practice of Declarative Programming (PPDP 2003)","author":"B. Pope","year":"2003","unstructured":"Pope, B., Naish, L.: Practical aspects of declarative debugging in Haskell 98. In: Principles and Practice of Declarative Programming (PPDP 2003), pp. 230\u2013240. ACM, New York (2003)"},{"key":"14_CR15","series-title":"ENTCS","volume-title":"5th Haskell Workshop","author":"C. Reinke","year":"2001","unstructured":"Reinke, C.: GHood \u2014 graphical visualization and animation of Haskell object observations. In: 5th Haskell Workshop. ENTCS, vol.\u00a059. Elsevier Science, Amsterdam (2001)"},{"key":"14_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/BFb0033851","volume-title":"Programming Languages: Implementations, Logics, and Programs","author":"J. Sparud","year":"1997","unstructured":"Sparud, J., Runciman, C.: Tracing lazy functional computations using redex trails. In: Hartel, P.H., Kuchen, H. (eds.) PLILP 1997. LNCS, vol.\u00a01292, pp. 291\u2013308. Springer, Heidelberg (1997)"},{"issue":"8","key":"14_CR17","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1145\/286385.286387","volume":"33","author":"P. Wadler","year":"1998","unstructured":"Wadler, P.: Functional programming: Why no one uses functional languages. SIGPLAN Notices\u00a033(8), 23\u201327 (1998) Functional Programming Column","journal-title":"SIGPLAN Notices"},{"key":"14_CR18","unstructured":"Wallace, M., Chitil, O., Brehm, T., Runciman, C.: Multipleview tracing for Haskell: a new Hat. In: 5th Haskell Workshop, pp. 151\u2013170 (2001)"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2005"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11560647_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,12]],"date-time":"2019-03-12T22:40:22Z","timestamp":1552430422000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11560647_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540291077","9783540320722"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/11560647_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}