{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T05:19:29Z","timestamp":1737091169587,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540714095"},{"type":"electronic","value":"9783540714101"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-71410-1_12","type":"book-chapter","created":{"date-parts":[[2007,5,21]],"date-time":"2007-05-21T10:57:52Z","timestamp":1179745072000},"page":"160-176","source":"Crossref","is-referenced-by-count":0,"title":["A Program Transformation for Tracing Functional Logic Computations"],"prefix":"10.1007","author":[{"given":"Bernd","family":"Brassel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Fischer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Huch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"12_CR1","doi-asserted-by":"publisher","first-page":"795","DOI":"10.1016\/j.jsc.2004.01.001","volume":"40","author":"E. Albert","year":"2005","unstructured":"Albert, E., Hanus, M., Huch, F., Oliver, J., Vidal, G.: Operational semantics for declarative multi-paradigm languages. Journal of Symbolic Computation\u00a040(1), 795\u2013829 (2005)","journal-title":"Journal of Symbolic Computation"},{"key":"12_CR2","unstructured":"Antoy, S., Johnson, S.: TeaBag: A functional logic language debugger. In: Kuchen, H. (ed.) Proc. of the 13th International Workshop on Functional and (constraint) Logic Programming (WFLP\u201904), Aachen, Germany, June, pp. 4\u201318 (2004)"},{"key":"12_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1007\/978-3-540-24836-1_14","volume-title":"Practical Aspects of Declarative Languages","author":"B. Bra\u00dfel","year":"2004","unstructured":"Bra\u00dfel, B., Chitil, O., Hanus, M., Huch, F.: Observing functional logic computations. In: Jayaraman, B. (ed.) PADL 2004. LNCS, vol.\u00a03057, pp. 193\u2013208. Springer, Heidelberg (2004)"},{"key":"12_CR4","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1145\/1013963.1013984","volume-title":"Proceedings of the 6th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP\u201904)","author":"B. Bra\u00dfel","year":"2004","unstructured":"Bra\u00dfel, B., Hanus, M., Huch, F., Vidal, G.: A semantics for tracing declarative multi-paradigm programs. In: Proceedings of the 6th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP\u201904), pp. 179\u2013190. ACM Press, New York (2004)"},{"key":"12_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1007\/978-3-540-24754-8_7","volume-title":"Functional and Logic Programming","author":"R. Caballero","year":"2004","unstructured":"Caballero, R., Rodr\u00edguez-Artalejo, M.: DDT: a declarative debugging tool for functional-logic languages. In: Kameyama, Y., Stuckey, P.J. (eds.) FLOPS 2004. LNCS, vol.\u00a02998, pp. 70\u201384. Springer, Heidelberg (2004)"},{"key":"12_CR6","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":"12_CR7","doi-asserted-by":"crossref","unstructured":"Gill, A.: Debugging Haskell by observing intermediate datastructures. Electronic Notes in Theoretical Computer Science\u00a041(1) (2001)","DOI":"10.1016\/S1571-0661(05)80538-9"},{"key":"12_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"376","DOI":"10.1007\/10704567_11","volume-title":"Principles and Practice of Declarative Programming","author":"M. Hanus","year":"1999","unstructured":"Hanus, M.: Distributed Programming in a Multi-Paradigm Declarative Language. In: Nadathur, G. (ed.) PPDP 1999. LNCS, vol.\u00a01702, pp. 376\u2013395. Springer, Heidelberg (1999)"},{"key":"12_CR9","unstructured":"Hanus, M. (ed.): Curry: An integrated functional logic language (1997), Available at, http:\/\/www-i2.informatik.rwth-aachen.de\/~hanus\/curry"},{"issue":"3","key":"12_CR10","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/0020-0190(86)90059-1","volume":"22","author":"J. Hughes","year":"1986","unstructured":"Hughes, J.: A novel representation of lists and its application to the function \u201creverse\u201d. Inf. Process. Lett.\u00a022(3), 141\u2013144 (1986)","journal-title":"Inf. Process. Lett."},{"key":"12_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1007\/3-540-48685-2_19","volume-title":"Rewriting Techniques and Applications","author":"F. L\u00f3pez-Fraguas","year":"1999","unstructured":"L\u00f3pez-Fraguas, F., S\u00e1nchez-Hern\u00e1ndez, J.: TOY: A multiparadigm declarative system. In: Narendran, P., Rusinowitch, M. (eds.) RTA 1999. LNCS, vol.\u00a01631, pp. 244\u2013247. Springer, Heidelberg (1999)"},{"issue":"2","key":"12_CR12","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(2), 121\u2013150 (1997)","journal-title":"Automated Software Engineering"},{"volume-title":"Haskell 98 Language and Libraries\u2014The Revised Report","year":"2003","key":"12_CR13","unstructured":"Jones, S.P. (ed.): Haskell 98 Language and Libraries\u2014The Revised Report. Cambridge University Press, Cambridge (2003)"},{"key":"12_CR14","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":"12_CR15","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)"}],"container-title":["Lecture Notes in Computer Science","Logic-Based Program Synthesis and Transformation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71410-1_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T14:28:29Z","timestamp":1737037709000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71410-1_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540714095","9783540714101"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71410-1_12","relation":{},"subject":[]}}