Intermittent-assertion method as a structural induction
Kybernetika (1979)
- Volume: 15, Issue: 2, page (122)-135
- ISSN: 0023-5954
Access Full Article
top
How to cite
topVosátka, Karel. "Intermittent-assertion method as a structural induction." Kybernetika 15.2 (1979): (122)-135. <http://eudml.org/doc/27633>.
@article{Vosátka1979,
author = {Vosátka, Karel},
journal = {Kybernetika},
keywords = {Program Verification; Intermittent-Assertion Method; Structural Induction},
language = {eng},
number = {2},
pages = {(122)-135},
publisher = {Institute of Information Theory and Automation AS CR},
title = {Intermittent-assertion method as a structural induction},
url = {http://eudml.org/doc/27633},
volume = {15},
year = {1979},
}
TY - JOUR
AU - Vosátka, Karel
TI - Intermittent-assertion method as a structural induction
JO - Kybernetika
PY - 1979
PB - Institute of Information Theory and Automation AS CR
VL - 15
IS - 2
SP - (122)
EP - 135
LA - eng
KW - Program Verification; Intermittent-Assertion Method; Structural Induction
UR - http://eudml.org/doc/27633
ER -
References
top- R. M. Burstall, Program Proving as Hand Simulation with a Little Induction, Information Processing 74, North-Holland Publ. Comp., 1974, 308-312. (1974) Zbl0299.68012MR0448980
- Z. Manna R. Waldinger, Is "sometime" sometimes better than "always"? Intermittent assertions in proving program correctness, Stanford Artif. Intel. Lab. STAN-CS-76-558, June 1976 (also in CACM 21 (1978), 2, 159-179). (1976) MR0483642
- R. W. Floyd, Assigning meanings to programs, Proceedings of Symposium in Applied Math., American Math. Soc. 1967, 19-32. (1967) Zbl0189.50204MR0235771
- J. H. Morris, Jr., Ben Wegbreit, Subgoal induction, CACM 20 (1977), 4, 209-220. (1977) MR0445889
- R. M. Burstall, Proving properties of programs by structural induction, The Comp. Jour. 12 (1969), 1,41-48. (1969) Zbl0164.46202
- Z. Manna, Mathematical Theory of Computation, McGrow-Hill Book Comp., New York 1974. (1974) Zbl0353.68066MR0400771
- C. Reynolds R. T. Yeh, Induction as the basis for program verification, IEEE Tran. on Software Engineering SE-2 (1976), 4, 244-252. (1976) MR0520721
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.