{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T15:21:47Z","timestamp":1720624907475},"reference-count":12,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2002,9,1]],"date-time":"2002-09-01T00:00:00Z","timestamp":1030838400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3984,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2002,9]]},"DOI":"10.1016\/s1571-0661(04)80355-4","type":"journal-article","created":{"date-parts":[[2004,9,28]],"date-time":"2004-09-28T15:29:25Z","timestamp":1096385365000},"page":"277-291","source":"Crossref","is-referenced-by-count":1,"special_numbering":"C","title":["Specialisation of Higher-Order Functions for Debugging"],"prefix":"10.1016","volume":"64","author":[{"given":"Bernard","family":"Pope","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lee","family":"Naish","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80355-4_NEWBIB1","doi-asserted-by":"crossref","unstructured":"J. Bell, F. Bellegarde, and J. Hook. Type-driven defunctionalization. In M. Tofte, editor, Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP '97), pages 25\u201337, 1997.","DOI":"10.1145\/258948.258953"},{"key":"10.1016\/S1571-0661(04)80355-4_NEWBIB2","unstructured":"O. Chitil, C. Runciman, and M. Wallace. Tracing and Debugging of Lazy Functional Programs \u2013- A Comparative Evaluation of Three Systems. In M. Mohnen and P. Koopman, editors, Proceedings of the 12th International Workshop on Implementation of Functional Languages, number AIB\u201300\u20137 in Aachener Informatik Berichte, pages 47\u201362. RWTH Aachen, 2000."},{"key":"10.1016\/S1571-0661(04)80355-4_NEWBIB3","series-title":"Dagstuhl Workshop on Partial Evaluation","article-title":"Type specialisation for the lambda-calculus; or, a new paradigm for partial evaluation based on type inference","author":"Hughes","year":"1996"},{"key":"10.1016\/S1571-0661(04)80355-4_NEWBIB4","unstructured":"M. Jones. Typing Haskell in Haskell. Technical Report UU-CS\u20131999\u201328, Department of Computer Science, University of Utrecht, Utrecht, Netherlands, 1999."},{"issue":"2","key":"10.1016\/S1571-0661(04)80355-4_NEWBIB5","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1017\/S0956796800000319","article-title":"Implementing lazy functional languages on stock hardware: The Spineless Tagless G-machine","volume":"2","author":"Peyton Jones","year":"1992","journal-title":"Journal of Functional Programming"},{"issue":"3","key":"10.1016\/S1571-0661(04)80355-4_NEWBIB6","doi-asserted-by":"crossref","first-page":"348","DOI":"10.1016\/0022-0000(78)90014-4","article-title":"A theory of type polymorphism in programming","volume":"17","author":"Milner","year":"1978","journal-title":"Journal of Computer and System Sciences"},{"issue":"1","key":"10.1016\/S1571-0661(04)80355-4_NEWBIB7","first-page":"401","article-title":"Towards a portable lazy functional declarative debugger","volume":"18","author":"Naish","year":"1996","journal-title":"Australian Computer Science Communications"},{"key":"10.1016\/S1571-0661(04)80355-4_NEWBIB8","doi-asserted-by":"crossref","unstructured":"H. Nilsson and P. Fritzson. Lazy algorithmic debugging: Ideas for practical implementation. In P. Fritzson, editor, Automated and Algorithmic Debugging, volume 749 of Lecture Notes in Computer Science, pages 117\u2013134, Link\u00f6ping, Sweden, 1993.","DOI":"10.1007\/BFb0019405"},{"key":"10.1016\/S1571-0661(04)80355-4_NEWBIB9","unstructured":"H. Nilsson and J. Sparud. The evaluation dependence tree: an execution record for lazy functional debugging. Technical report, Department of Computer and Information Science, Link\u00f6ping University, 1996."},{"key":"10.1016\/S1571-0661(04)80355-4_NEWBIB10","unstructured":"B. Pope. Buddha: A declarative debugger for Haskell. Technical Report 98\/12, The Department of Computer Science and Software Engineering, The University of Melbourne, 1998."},{"key":"10.1016\/S1571-0661(04)80355-4_NEWBIB11","series-title":"Algorithmic Program Debugging","author":"Shapiro","year":"1982"},{"key":"10.1016\/S1571-0661(04)80355-4_NEWBIB12","first-page":"273","article-title":"Graphical user interfaces for algorithmic debugging","volume":"749","author":"Westman","year":"1993"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104803554?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104803554?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,3]],"date-time":"2019-02-03T07:22:47Z","timestamp":1549178567000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104803554"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,9]]},"references-count":12,"alternative-id":["S1571066104803554"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80355-4","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2002,9]]}}}