No CrossRef data available.
Article contents
FUNCTIONAL PEARL. Proof-directed debugging – Corrigendum
Published online by Cambridge University Press: 01 March 2009
Extract
Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.
There is a minor error in Section 3 wherein it is stated that ∖acc 0_ _ k loops in_nitely, even if k succeeds on input _.” This statement is not correct, and should be replaced by ∖If k returns false on input cs, then acc 1_ cs k loops in_nitely.”
The author is grateful to Derek Dreyer for pointing out this mistake, and suggesting the above-mentioned correction.
- Type
- Correction
- Information
- Copyright
- Copyright © Cambridge University Press 2009
References
Harper, R. (1999) Functional Pearl. Proof-directed debugging. Journal of Functional Programming, 9 (4), 463–469CrossRefGoogle Scholar
You have
Access
Discussions
No Discussions have been published for this article.