Review of heuristics for generalisation
(1995)
Journal Article
Vadera, S. (1995). Review of heuristics for generalisation. Software engineering journal, 10(4), 118-123
Proof by induction plays a central role in showing that recursive programs satisfy their specification. Sometimes a key step is to generalise a lemma so that its inductive proof is easier.
Existing heuristics for generalisation for induction are...
Read More about Review of heuristics for generalisation.