TY  - RPRT
T1  - Relative completeness of a Hoare-calculus for while-programs
T3  - Saarbrücken, 1980
A1  - Sieber,Kurt
Y1  - 2011/07/27
N2  - In several papers,e.g. [COOK] or [APT] the problems of correctness and completeness of Hoare calculi have been studied. The purpose of this paper is to present a simple approach to this subject by restricting the attention to a very small class of programs, the so-called while-programs.
CY  - Saarbrücken
PB  - Universitäts- und Landesbibliothek
AD  - Postfach 151141, 66041 Saarbrücken
UR  - http://scidok.sulb.uni-saarland.de/volltexte/2011/4027
ER  -