Please use this identifier to cite or link to this item: doi:10.22028/D291-26080
Title: Relative completeness of a Hoare-calculus for while-programs
Author(s): Sieber, Kurt
Language: English
Year of Publication: 1980
OPUS Source: Saarbrücken, 1980
DDC notations: 004 Computer science, internet
Publikation type: Report
Abstract: 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.
Link to this record: urn:nbn:de:bsz:291-scidok-40279
Series name: Bericht / A / Fachbereich Angewandte Mathematik und Informatik, Universität des Saarlandes
Series volume: 1980/01
Date of registration: 27-Jul-2011
Faculty: MI - Fakultät für Mathematik und Informatik
Department: MI - Informatik
Collections:SciDok - Der Wissenschaftsserver der Universität des Saarlandes

Files for this record:
File Description SizeFormat 
fb14_1980_01.pdf3,91 MBAdobe PDFView/Open

Items in SciDok are protected by copyright, with all rights reserved, unless otherwise indicated.