Back to Search
Start Over
Program Correctness: On Inductive Assertion Methods.
- Source :
- IEEE Transactions on Software Engineering; Sep80, Vol. 6 Issue 5, p465-479, 15p, 9 Diagrams
- Publication Year :
- 1980
-
Abstract
- A study of several of the proof of correctness methods is presented. In particular, the form of induction used is explored in detail. A relational semantic model (or programming languages is introduced and its relation to predicate transformers is explored. A rather elementary viewpoint is taken in order to expose, as simply as possible, (he basic differences of the methods and the underlying principles involved. These results were obtained by attempting to thoroughly understand the "subgoal induction" method, [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 00985589
- Volume :
- 6
- Issue :
- 5
- Database :
- Complementary Index
- Journal :
- IEEE Transactions on Software Engineering
- Publication Type :
- Academic Journal
- Accession number :
- 14379716