Journal of Functional Programming (2006), 16 : 663-670 Cambridge University Press
Copyright © 2006 Cambridge University Press
doi:10.1017/S0956796806006149 (About doi)
Published online by Cambridge University Press 14 Sep 2006
Copy and paste this link:
http://journals.cambridge.org/action/displayAbstract?aid=524472
Copy and paste this citation
KWANGKEUN YI
(2006).
EDUCATIONAL PEARL: ‘Proof-directed debugging’ revisited for a first-order version. Journal of Functional Programming,
16
,
pp 663-670
doi:10.1017/S0956796806006149
doi:10.1017/S0956796806006149
CiteULike
Del.icio.us
Connotea.org
Bibsonomy.org
Furl.net
Digg.com
Reddit.com
Facebook
