Geodesic
Intermittent-assertion method as a structural induction
Kybernetika, Tome 15 (1979) no. 2, pp. 122-135 Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 68B10, 68Q60 
@article{KYB_1979_15_2_a3,
     author = {Vos\'atka, Karel},
     title = {Intermittent-assertion method as a structural induction},
     journal = {Kybernetika},
     pages = {122--135},
     year = {1979},
     volume = {15},
     number = {2},
     mrnumber = {542057},
     zbl = {0399.68021},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KYB_1979_15_2_a3/}
}
TY  - JOUR
AU  - Vosátka, Karel
TI  - Intermittent-assertion method as a structural induction
JO  - Kybernetika
PY  - 1979
SP  - 122
EP  - 135
VL  - 15
IS  - 2
UR  - http://geodesic.mathdoc.fr/item/KYB_1979_15_2_a3/
LA  - en
ID  - KYB_1979_15_2_a3
ER  - 
%0 Journal Article
%A Vosátka, Karel
%T Intermittent-assertion method as a structural induction
%J Kybernetika
%D 1979
%P 122-135
%V 15
%N 2
%U http://geodesic.mathdoc.fr/item/KYB_1979_15_2_a3/
%G en
%F KYB_1979_15_2_a3
Vosátka, Karel. Intermittent-assertion method as a structural induction. Kybernetika, Tome 15 (1979) no. 2, pp. 122-135. http://geodesic.mathdoc.fr/item/KYB_1979_15_2_a3/

[1] R. M. Burstall: Program Proving as Hand Simulation with a Little Induction. Information Processing 74, North-Holland Publ. Comp., 1974, 308-312. | MR | Zbl

[2] 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). | MR

[3] R. W. Floyd: Assigning meanings to programs. Proceedings of Symposium in Applied Math., American Math. Soc. 1967, 19-32. | MR | Zbl

[4] J. H. Morris, Jr., Ben Wegbreit: Subgoal induction. CACM 20 (1977), 4, 209-220. | MR

[5] R. M. Burstall: Proving properties of programs by structural induction. The Comp. Jour. 12 (1969), 1,41-48. | Zbl

[6] Z. Manna: Mathematical Theory of Computation. McGrow-Hill Book Comp., New York 1974. | MR | Zbl

[7] C. Reynolds R. T. Yeh: Induction as the basis for program verification. IEEE Tran. on Software Engineering SE-2 (1976), 4, 244-252. | MR