SciDok

Eingang zum Volltext in SciDok

Lizenz

Report (Bericht) zugänglich unter
URN: urn:nbn:de:bsz:291-scidok-40279
URL: http://scidok.sulb.uni-saarland.de/volltexte/2011/4027/


Relative completeness of a Hoare-calculus for while-programs

Sieber, Kurt

Quelle: (1980) Saarbrücken, 1980
pdf-Format:
Dokument 1.pdf (3.905 KB)

Bookmark bei Connotea Bookmark bei del.icio.us
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

Home | Impressum | Über SciDok | Policy | Kontakt | Datenschutzerklärung | English