Vadera, S 1995, 'Review of heuristics for generalisation' , Software Engineering Journal, 10 (4) , pp. 118-123.
PDF (Author prepared)
- Accepted Version
Download (150kB) | Preview
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 examined. The applicability of heuristics for generalisation is also examined, and it is shown that the kind of examples on which some of the heuristics work best form a well defined class of problems. A class of generalisation problems is identified for which none of the methods work, and directions for future research are provided.
|Uncontrolled Keywords:||Formal Methods, VDM, Proof by induction|
|Themes:||Subjects / Themes > Q Science > QA Mathematics > QA075 Electronic computers. Computer science > QA076 Computer software
Subjects outside of the University Themes
|Schools:||Schools > School of Computing, Science and Engineering
Schools > School of Computing, Science and Engineering > Salford Innovation Research Centre (SIRC)
|Journal or Publication Title:||Software Engineering Journal|
|Depositing User:||S Vadera|
|Date Deposited:||16 Feb 2011 15:40|
|Last Modified:||01 Dec 2015 00:04|
Actions (login required)
|Edit record (repository staff only)|