Eingang zum Volltext in SciDok
Lizenz
Report (Bericht) zugänglich unter
Relative completeness of a Hoare-calculus for while-programs
URN: urn:nbn:de:bsz:291-scidok-40279
URL: http://scidok.sulb.uni-saarland.de/volltexte/2011/4027/
Quelle:
(1980) Saarbrücken, 1980
pdf-Format:
Dokument 1.pdf (3.905 KB)
Institut:
Fachrichtung 6.2 - Informatik
DDC-Sachgruppe:
Informatik
Dokumentart:
Report (Bericht)
Schriftenreihe:
Bericht / A / Fachbereich Angewandte Mathematik und Informatik, Universität des Saarlandes
Bandnummer:
1980/01
Sprache:
Englisch
Erstellungsjahr:
1980
Publikationsdatum:
27.07.2011
Kurzfassung auf Englisch:
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.
Lizenz:
Standard-Veröffentlichungsvertrag