Prof Sunil Vadera S.Vadera@salford.ac.uk
Professor
Review of heuristics for generalisation
Vadera, S
Authors
Abstract
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.
Citation
Vadera, S. (1995). Review of heuristics for generalisation. Software engineering journal, 10(4), 118-123
Journal Article Type | Article |
---|---|
Publication Date | Jul 1, 1995 |
Deposit Date | Feb 16, 2011 |
Publicly Available Date | Apr 5, 2016 |
Journal | Software Engineering Journal |
Print ISSN | 0268-6961 |
Peer Reviewed | Peer Reviewed |
Volume | 10 |
Issue | 4 |
Pages | 118-123 |
Keywords | Formal Methods, VDM, Proof by induction |
Publisher URL | http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=9080 |
Additional Information | Corporate Creators : Sunil Vadera |
Files
Accepted Version
(150 Kb)
PDF
Version
Author prepared
You might also like
Development of an evolutionary cost sensitive decision tree induction algorithm
(2022)
Presentation / Conference
Phishing website detection from URLs using classical machine learning ANN model
(2021)
Journal Article
Cost-sensitive meta-learning framework
(2021)
Journal Article
Phishing email detection using Natural Language Processing techniques : a literature survey
(2021)
Journal Article
Downloadable Citations
About USIR
Administrator e-mail: library-research@salford.ac.uk
This application uses the following open-source libraries:
SheetJS Community Edition
Apache License Version 2.0 (http://www.apache.org/licenses/)
PDF.js
Apache License Version 2.0 (http://www.apache.org/licenses/)
Font Awesome
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2024
Advanced Search