{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:34:34Z","timestamp":1725467674701},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540648499"},{"type":"electronic","value":"9783540685289"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0055430","type":"book-chapter","created":{"date-parts":[[2006,7,27]],"date-time":"2006-07-27T20:40:51Z","timestamp":1154032851000},"page":"160-177","source":"Crossref","is-referenced-by-count":5,"title":["Complete and partial redex trails of functional computations"],"prefix":"10.1007","author":[{"given":"Jan","family":"Sparud","sequence":"first","affiliation":[]},{"given":"Colin","family":"Runciman","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,28]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"S. A. Jarvis and R. G. Morgan. The results of: profiling large-scale lazy functional programs. In W. Kluge, editor, Implementation of Functional Languages, 8th International Workshop (IFL'96), Selected Papers, pages 200\u2013221. Springer LNCS 1268, September 1996.","DOI":"10.1007\/3-540-63237-9_26"},{"key":"10_CR2","volume-title":"Research Report LiTH-IDA-R-96-23","author":"H. Nilsson","year":"1996","unstructured":"Henrik Nilsson and Jan Sparud. The evaluation dependence tree: an execution record for lazy functional debugging. Research Report LiTH-IDA-R-96-23, Department of Computer and Information Science, Link\u00f6ping University, S-581 83, Link\u00f6ping, Sweden, August 1996."},{"issue":"2","key":"10_CR3","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1023\/A:1008681016679","volume":"4","author":"H. Nilsson","year":"1997","unstructured":"Henrik Nilsson and Jan Sparud. The evaluation dependence tree as a basis for lazy functional debugging. Journal of Automated Software Engineering, 4(2): 152\u2013205, April 1997.","journal-title":"Journal of Automated Software Engineering"},{"key":"10_CR4","unstructured":"H. Phillips. The week-end problems book. Nonesuch Press, 1932."},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"N. R\u00f6jemo. Highlights from nhc \u2014 a space-efficient Haskell compiler. In Proc. 7th Intl. Conf. on Functional Programming Languages and Computer Architecture (FPCA '95), pages 282\u2013292. ACM Press, June 1995.","DOI":"10.1145\/224164.224217"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"N. R\u00f6jemo and C. Runciman. Lag, drag, void and use \u2014 heap profiling and space-efficient compilation revisited. In Proc. Intl. Conf. on Functional Programming, pages 34\u201341. ACM Press, June 1996.","DOI":"10.1145\/232629.232633"},{"issue":"2","key":"10_CR7","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1145\/244795.244802","volume":"19","author":"P. M. Sansom","year":"1997","unstructured":"P. M. Sansom and S. L. Peyton Jones. Formally based profiling for higher-order functional languages. ACM Transactions on Programming Languages and Systems, 19(2): 334\u201385, March 1997.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"J. Sparud and C. Runciman. Tracing lazy functional computations using redex trails. In Proc. 9th Intl. Symposium on Programming Languages, Implementations, Logics and Programs (PLILP'97), September 1997.","DOI":"10.1007\/BFb0033851"},{"issue":"2","key":"10_CR9","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1017\/S0956796800001313","volume":"5","author":"A. Tolmach","year":"1995","unstructured":"A. Tolmach and A. W. Appel. A debugger for Standard ML. Journal of Functional Programming, 5(2): 155\u2013200, April 1995.","journal-title":"Journal of Functional Programming"},{"key":"10_CR10","unstructured":"A. P. Tolmach. Debugging Standard ML. PhD thesis, Princeton, USA, October 1992."},{"key":"10_CR11","unstructured":"R. D. Watson. Tracing Lazy Evaluation by Program Transformation. PhD thesis, Southern Cross, Australia, October 1996."}],"container-title":["Lecture Notes in Computer Science","Implementation of Functional Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0055430","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,20]],"date-time":"2019-04-20T09:07:25Z","timestamp":1555751245000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0055430"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540648499","9783540685289"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/bfb0055430","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}