{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,13]],"date-time":"2025-12-13T23:01:45Z","timestamp":1765666905727,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540222538"},{"type":"electronic","value":"9783540248361"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24836-1_14","type":"book-chapter","created":{"date-parts":[[2010,8,8]],"date-time":"2010-08-08T19:50:55Z","timestamp":1281297055000},"page":"193-208","source":"Crossref","is-referenced-by-count":22,"title":["Observing Functional Logic Computations"],"prefix":"10.1007","author":[{"given":"Bernd","family":"Bra\u00dfel","sequence":"first","affiliation":[]},{"given":"Olaf","family":"Chitil","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Hanus","sequence":"additional","affiliation":[]},{"given":"Frank","family":"Huch","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"Booth, S.P., Jones, S.B.: Walk backwards to happiness - debugging by time travel. In: Automated and Algorithmic Debugging, pp. 171\u2013183 (1997)"},{"key":"14_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/3-540-44716-4_11","volume-title":"Functional and Logic Programming","author":"R. Caballero","year":"2001","unstructured":"Caballero, R., L\u00f3pez-Fraguas, F.J., Rodr\u00edguez-Artalejo, M.: Theoretical foundations for the declarative debugging of lazy functional logic programs. In: Kuchen, H., Ueda, K. (eds.) FLOPS 2001. LNCS, vol.\u00a02024, pp. 170\u2013184. Springer, Heidelberg (2001)"},{"key":"14_CR3","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 \u2013 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_CR4","unstructured":"Drabent, W., Nadjm-Tehrani, S., Maluszynski, J.: The use of assertions in algorithmic debugging. In: Proc. FGCS 1988, pp. 573\u2013581 (1988)"},{"key":"14_CR5","volume-title":"ENTCS","author":"A. Gill","year":"2001","unstructured":"Gill, A.: Debugging Haskell by observing intermediate data structures. In: Hutton, G. (ed.) ENTCS, vol.\u00a041, Elsevier, Amsterdam (2001)"},{"key":"14_CR6","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1016\/0743-1066(94)90034-5","volume":"19&20","author":"M. Hanus","year":"1994","unstructured":"Hanus, M.: The integration of functions into logic programming: From theory to practice. Journal of Logic Programming\u00a019&20, 583\u2013628 (1994)","journal-title":"Journal of Logic Programming"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Hanus, M.: A unified computation model for functional and logic programming. In: POPL 1997, pp. 80\u201393 (1997)","DOI":"10.1145\/263699.263710"},{"key":"14_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/3-540-45241-9_6","volume-title":"Practical Aspects of Declarative Languages","author":"M. Hanus","year":"2001","unstructured":"Hanus, M.: High-level server side web scripting in Curry. In: Ramakrishnan, I.V. (ed.) PADL 2001. LNCS, vol.\u00a01990, pp. 76\u201392. Springer, Heidelberg (2001)"},{"key":"14_CR9","unstructured":"Hanus, M., Antoy, S., Engelke, M., H\u00f6ppner, K., Koj, J., Niederau, P., Sadre, R., Steiner, F.: PAKCS: The Portland Aachen Kiel Curry System (2003), Available at http:\/\/www.informatik.uni-kiel.de\/~pakcs\/"},{"key":"14_CR10","unstructured":"Hanus, M. (ed.): Curry: An integrated functional logic language, vers. 0.7.2 (2002), Available at http:\/\/www.informatik.uni-kiel.de\/~curry"},{"issue":"3","key":"14_CR11","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1017\/S095679680000109X","volume":"4","author":"H. Nilsson","year":"1994","unstructured":"Nilsson, H., Fritzson, P.: Algorithmic debugging for lazy functional languages. Journal of Functional Programming\u00a04(3), 337\u2013370 (1994)","journal-title":"Journal of Functional Programming"},{"key":"14_CR12","unstructured":"Nilsson, H.: Declarative Debugging for Lazy Functional Languages. PhD thesis, Link\u00f6ping, Sweden (1998)"},{"key":"14_CR13","unstructured":"Jones, S.P., et al.: Haskell 98 language and libraries: the revised report. Journal of Functional Programming 13(1) (2003)"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"Pope, B.: Lee Naish. Practical aspects of declarative debugging in Haskell-98. In: ACM PPDP 2003, pp. 230\u2013240 (2003)","DOI":"10.1145\/888251.888273"},{"key":"14_CR15","unstructured":"Reinke, C.: GHood \u2013 graphical visualisation and animation of Haskell object observations. In: Proceedings of the 2001 ACM SIGPLAN Haskell Workshop (2001)"},{"key":"14_CR16","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1192.001.0001","volume-title":"Algorithmic Program Debugging","author":"E. Shapiro","year":"1983","unstructured":"Shapiro, E.: Algorithmic Program Debugging. MIT Press, Cambridge (1983)"},{"key":"14_CR17","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)"},{"key":"14_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/BFb0027780","volume-title":"Concurrency and Parallelism, Programming, Networking, and Security","author":"A. Tessier","year":"1996","unstructured":"Tessier, A.: Declarative debugging in constraint logic programming. In: Jaffar, J., Yap, R.H.C. (eds.) ASIAN 1996. LNCS, vol.\u00a01179, pp. 64\u201373. Springer, Heidelberg (1996)"},{"key":"14_CR19","unstructured":"Wallace, M., Chitil, O., Brehm, T., Runciman, C.: Multiple-view tracing for Haskell. In: Proceedings of the 2001 ACM SIGPLAN Haskell Workshop (2001)"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24836-1_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,23]],"date-time":"2025-02-23T23:16:20Z","timestamp":1740352580000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24836-1_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540222538","9783540248361"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24836-1_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}