{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:57:13Z","timestamp":1725512233120},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540708803"},{"type":"electronic","value":"9783540708810"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-70881-0_18","type":"book-chapter","created":{"date-parts":[[2007,8,3]],"date-time":"2007-08-03T16:07:32Z","timestamp":1186157252000},"page":"195-208","source":"Crossref","is-referenced-by-count":0,"title":["Introducing Debugging Capabilities to Natural Semantics"],"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":"18_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":"18_CR2","unstructured":"Encina, A., Llana, L., Rubio, F.: Introducing debugging capabilities to natural semantics (extended version) (2006), \n                    \n                      http:\/\/dalila.sip.ucm.es\/~albertoe\/publics\/psiExtd.ps"},{"key":"18_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":"18_CR4","first-page":"102","volume-title":"Principles and Practice of Declarative Programming (PPDP\u201903)","author":"A. Encina","year":"2003","unstructured":"Encina, A., Pe\u00f1a, R.: Formally deriving an STG machine. In: Principles and Practice of Declarative Programming (PPDP\u201903), pp. 102\u2013112. ACM Press, New York (2003)"},{"key":"18_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69330-7_19","volume-title":"Languages and Compilers for Parallel Computing","author":"A. Encina","year":"2006","unstructured":"Encina, A., Rodr\u00edguez, I., Rubio, F.: Testing speculative work in a lazy\/eager parallel functional language. In: Ayguad\u00e9, E., et al. (eds.) LCPC 2005. LNCS, vol.\u00a04339, Springer, Heidelberg (2006)"},{"key":"18_CR6","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1145\/871895.871904","volume-title":"Proceedings of the 7th Haskell Workshop","author":"R. Ennals","year":"2003","unstructured":"Ennals, R., Peyton Jones, S.: HsDebug: Debugging lazy programs by not being lazy. In: Proceedings of the 7th Haskell Workshop, pp. 84\u201387. ACM Press, New York (2003)"},{"key":"18_CR7","unstructured":"Gill, A.: Debugging Haskell by observing intermediate data structures. In: Proceedings of the 4th Haskell Workshop. Technical Report of the University of Nottingham (2000)"},{"key":"18_CR8","unstructured":"Gill, A.: Hood homepage (2006), \n                    \n                      http:\/\/www.haskell.org\/hood"},{"key":"18_CR9","series-title":"Lecture Notes in Computer Science","first-page":"303","volume-title":"Programming Languages and Systems","author":"Y. Ortega-Mall\u00e9n","year":"2003","unstructured":"Ortega-Mall\u00e9n, Y., Hidalgo-Herrero, M.: Continuation Semantics for Parallel Haskell Dialects. In: Ohori, A. (ed.) APLAS 2003. LNCS, vol.\u00a02895, pp. 303\u2013321. Springer, Heidelberg (2003)"},{"key":"18_CR10","first-page":"296","volume-title":"Symposium on Principles of Programming Languages (POPL\u201986)","author":"N. Jones","year":"1986","unstructured":"Jones, N., Mycroft, A.: Data flow analysis of applicative programs using minimal function graphs. In: Symposium on Principles of Programming Languages (POPL\u201986), pp. 296\u2013306. ACM Press, New York (1986)"},{"key":"18_CR11","unstructured":"Jones, N., Rosendahl, M.: Higher order minimal function graphs. Journal of Functional and Logic Programming 2 (1997)"},{"key":"18_CR12","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., et al.: 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":"18_CR13","volume-title":"Proc. Conference on Principles of Programming Languages, POPL\u201993","author":"J. Launchbury","year":"1993","unstructured":"Launchbury, J.: A Natural Semantics for Lazy Evaluation. In: Proc. Conference on Principles of Programming Languages, POPL\u201993, ACM Press, New York (1993)"},{"key":"18_CR14","unstructured":"Nilsson, H.: Declarative debugging for lazy functional languages. PhD thesis, Depat. of Computer and Information Science, Link\u00f6ping University, Sweden (1998)"},{"issue":"6","key":"18_CR15","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":"18_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"627","DOI":"10.1007\/3-540-45654-6_48","volume-title":"Computer Aided Systems Theory - EUROCAST 2001","author":"C. Pareja","year":"2001","unstructured":"Pareja, C., et al.: Adding traces to a lazy functional evaluator. In: Moreno-D\u00edaz Jr., R., Buchberger, B., Freire, J.-L. (eds.) EUROCAST 2001. LNCS, vol.\u00a02178, pp. 627\u2013641. Springer, Heidelberg (2001)"},{"key":"18_CR17","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1145\/773184.773204","volume-title":"Principles and Practice of Declarative Programming (PPDP\u201901)","author":"R. Pe\u00f1a","year":"2001","unstructured":"Pe\u00f1a, R., Rubio, F.: Parallel functional programming at two levels of abstraction. In: Principles and Practice of Declarative Programming (PPDP\u201901), pp. 187\u2013198. ACM Press, New York (2001)"},{"key":"18_CR18","unstructured":"Peyton Jones, S., Hughes, J. (eds.): Report on the Programming Language Haskell 98 (February 1999), \n                    \n                      http:\/\/www.haskell.org"},{"key":"18_CR19","first-page":"230","volume-title":"Principles and Practice of Declarative Programming (PPDP\u201903)","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\u201903), pp. 230\u2013240. ACM Press, New York (2003)"},{"key":"18_CR20","series-title":"ENTCS","volume-title":"Proceedings of the 5th Haskell Workshop","author":"C. Reinke","year":"2001","unstructured":"Reinke, C.: GHood \u2014 graphical visualization and animation of Haskell object observations. In: Proceedings of the 5th Haskell Workshop. ENTCS, vol.\u00a059, Elsevier Science, Amsterdam (2001)"},{"issue":"3","key":"18_CR21","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1017\/S0956796897002712","volume":"7","author":"P. Sestoft","year":"1997","unstructured":"Sestoft, P.: Deriving a Lazy Abstract Machine. Journal of Functional Programming\u00a07(3), 231\u2013264 (1997)","journal-title":"Journal of Functional Programming"},{"key":"18_CR22","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":"18_CR23","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 (Functional Programming Column)\u00a033(8), 23\u201327 (1998)","journal-title":"SIGPLAN Notices"},{"key":"18_CR24","unstructured":"Wallace, M., et al.: Multipleview tracing for Haskell: a new Hat. In: Proc. of the 5th Haskell Workshop, pp. 151\u2013170 (2001)"}],"container-title":["Lecture Notes in Computer Science","Perspectives of Systems Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70881-0_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,19]],"date-time":"2019-01-19T01:11:05Z","timestamp":1547860265000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70881-0_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540708803","9783540708810"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70881-0_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}