The Use of Proof Planning Critics to Diagnose Errors in the Base Cases of Recursive Programs

QR Code

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...

Full description

Bibliographic Details
Main Author:	Dennis, Louise Abigail
Other Authors:	Ahrendt, W
Format:	Conference or Workshop Item
Published:	2004
Online Access:	https://eprints.nottingham.ac.uk/318/

Similar Items

An Architecture for Proof Planning Systems
by: Dennis, Louise Abigail
Published: (2005)

A Comparison of two Proof Critics: Power vs. Robustness
by: Dennis, Louise Abigail, et al.
Published: (2002)

Using a Generalisation Critic to find Bisimulations for Coinductive Proofs
by: Dennis, Louise Abigail, et al.
Published: (1999)

On the comparison of proof planning systems: Lambda-clam, Omega and IsaPlanner
by: Dennis, Louise Abigail, et al.
Published: (2005)

What can be learned from failed proofs of non-theorems?
by: Dennis, Louise Abigail, et al.
Published: (2005)

The Productive use of Failure to Generate Witnesses from Divergent Proof Attempts for Coinduction
by: Dennis, Louise Abigail, et al.
Published: (2000)

Error Proofing In Manufacturing.
by: Nadarajah, Sivakumar
Published: (2006)

Error Proofing In Manufacturing
by: Nadarajah, Sivakumar
Published: (2006)

Error Proofing In Manufacturing
by: Nadarajah, Sivakumar
Published: (2006)

An error-proof approach for decision making using DEMATEL
by: Islam, A. S. M. Touhidul, et al.
Published: (2019)

Diagnosing the viability of functional analysis of a gene sequence process in multiple-recursive bioinformatics experimentalwork situations
by: Ibrahim, Roliana
Published: (2008)

The NumbersWithNames Program
by: Colton, Simon, et al.
Published: (2002)

Proof Methods for Corecursive Programs
by: Hutton, Graham, et al.
Published: (2005)

The arithmetic recursive average as an instance of the recursive weighted power mean
by: Wagner, Christian, et al.
Published: (2017)

Proof methods for structured corecursive programs
by: Gibbons, Jeremy, et al.
Published: (1999)

Burdens of proof and the case for unevenness
by: Aijaz, Imran, et al.
Published: (2013)

Retrospective future proofing of a copper mine: Quantification of errors and omissions in ‘As-built’ documentation
by: Love, Peter, et al.
Published: (2016)

Ordinal Arithmetic: A Case Study for Rippling in a Higher Order Domain
by: Dennis, Louise Abigail, et al.
Published: (2001)

Aspects of recursive Bayesian estimation
by: West, Mike
Published: (1982)

Recursion and Noticing In Written Feedback
by: Kumar, Vijay, et al.
Published: (2009)

Student attitudes to plagiarism and collusion within computer science
by: Dennis, Louise Abigail
Published: (2005)

Compiler-based prefetching algorithm for recursive data structure
by: Anuar, Nurulhaini
Published: (2007)

A recursive slippage test for use in state-space
by: Teunissen, Peter
Published: (1989)

Automatic Text Alignment Using Recursive Hapax-Based Cut-Through Fragmentation
by: Ng , Pek Kuan
Published: (2012)

Fast recursive computation of Krawtchouk polynomials
by: Abdulhussain, Sadiq H., et al.
Published: (2018)

Standard of proof required to prove fraud in civil cases
by: Shair Mohamad, Mohd Akram
Published: (2011)

Recursive mean-separate histogram equalisation method.
by: Ramli, Abdul Rahman, et al.
Published: (2004)

Interactive proof systems
by: Makarin, Rusydi Hasan, et al.
Published: (2011)

Zero-knowledge-proof
by: Alshaikhli, Imad Fakhri Taha, et al.
Published: (2011)

Constructions with non-recursive higher inductive types
by: Kraus, Nicolai
Published: (2016)

Dynamic Data Processing; Recursive Least Squares.
by: Teunissen, Peter
Published: (2001)

Recursive Least-Squares Filtering of Pseudorange Measurements
by: Le, A., et al.
Published: (2006)

Methods of proof and evidentiary requirements in divorce cases: an Islamic perspective
by: Ramlee, Zulfakar, et al.
Published: (2008)

Inductive Theorem Proving and Computer Algebra in the Mathweb Software Bus
by: Zimmer, Juergen, et al.
Published: (2002)

System Description: Embedding Verification into Microsoft Excel
by: Collins, Graham, et al.
Published: (2000)

Integrating SVC and HOL with the PROSPER Toolkit
by: Stevenson, Alan, et al.
Published: (2000)

Adaptive regularizer for recursive neural network training algorithms
by: Asirvadam, Vijanth Sagayan
Published: (2008)

A coalgebraic view of bar recursion and bar induction
by: Capretta, Venanzio, et al.
Published: (2016)

Deterministic and Recursive Approach in Attitude Determination for InnoSAT.
by: Djojodihardjo, Harijono, et al.
Published: (2011)

New recursive circular algorithm for listing all permutations
by: Karim, Sharmila, et al.
Published: (2014)