|
|||||
|
|
Axioms for total correctness |
|
| Authors: | Stefan Sokolowski |
| Affiliation: | (1) Institute of Mathematics, University of Gdansk, ul Wita Stwosza 57, 80-952 Gdansk, Poland |
| Abstract: | Summary A notation for total correctness of a program with respect to input and output formulas is introduced; and Hoare's loop axiom is rearranged in such a way as to form a good inference system for the total correctness. Its consistency and completeness are shown. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |