Comments on a paper by neuhold and studer

Pritchard P. (1979) Comments on a paper by neuhold and studer. Computing, 22 3: 279-282. doi:10.1007/BF02243568

Author Pritchard P.
Title Comments on a paper by neuhold and studer
Journal name Computing   Check publisher's open access policy
ISSN 0010-485X
Publication date 1979-01-01
Sub-type Article (original research)
DOI 10.1007/BF02243568
Volume 22
Issue 3
Start page 279
End page 282
Total pages 4
Publisher Springer-Verlag
Language eng
Subject 2614 Theoretical Computer Science
1703 Computational Theory and Mathematics
Abstract The authors of [5] described their experience in applying Hoare's method of program verification to an existing program. They reported two difficulties. The first was that certain Boolean expressions occurring in conditional or while statements needed to be strengthened to enable verification. This claim is false, and their three putative examples are refuted. The second difficulty was that the program had to be modified to use very restricted forms of jumps and procedures. Re this, we document recent work which enables these restrictions to be lifted.
Q-Index Code C1
Q-Index Status Provisional Code
Institutional Status Unknown

Document type: Journal Article
Sub-type: Article (original research)
Collection: Scopus Import
Version Filter Type
Citation counts: Scopus Citation Count Cited 0 times in Scopus Article
Google Scholar Search Google Scholar
Created: Tue, 12 Jul 2016, 13:27:24 EST by System User