{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T17:16:18Z","timestamp":1648919778401},"reference-count":1,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2009,3,1]],"date-time":"2009-03-01T00:00:00Z","timestamp":1235865600000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. Funct. Prog."],"published-print":{"date-parts":[[2009,3]]},"abstract":"<jats:p>There is a minor error in Section 3 wherein it is stated that \u2216acc 0_ _ k loops in_nitely, even if k succeeds on input _.\u201d This statement is not correct, and should be replaced by \u2216If k returns false on input cs, then acc 1_ cs k loops in_nitely.\u201d<\/jats:p><jats:p>The author is grateful to Derek Dreyer for pointing out this mistake, and suggesting the above-mentioned correction.<\/jats:p>","DOI":"10.1017\/s0956796808007119","type":"journal-article","created":{"date-parts":[[2009,3,6]],"date-time":"2009-03-06T14:30:00Z","timestamp":1236349800000},"page":"262-262","source":"Crossref","is-referenced-by-count":0,"title":["FUNCTIONAL PEARL. Proof-directed debugging \u2013 <b>Corrigendum<\/b>"],"prefix":"10.1017","volume":"19","author":[{"given":"Robert","family":"Harper","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2009,3,1]]},"reference":[{"key":"S0956796808007119_ref2","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796899003378"}],"container-title":["Journal of Functional Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0956796808007119","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,3]],"date-time":"2019-04-03T20:10:20Z","timestamp":1554322220000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0956796808007119\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,3]]},"references-count":1,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2009,3]]}},"alternative-id":["S0956796808007119"],"URL":"https:\/\/doi.org\/10.1017\/s0956796808007119","relation":{},"ISSN":["0956-7968","1469-7653"],"issn-type":[{"value":"0956-7968","type":"print"},{"value":"1469-7653","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,3]]}}}