The Use of Proof Planning Critics to Diagnose Errors in the Base Cases of Recursive Programs
This paper reports the use of proof planning to diagnose errors in program code. In particular it looks at the errors that arise in the base cases of recursive programs produced by undergraduates. It describes two classes of error that arise in this situation. The use of test cases would catch th...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Conference or Workshop Item |
| Published: |
2004
|
| Online Access: | https://eprints.nottingham.ac.uk/318/ |