Hoare, C. A. R. Programs are predicates. (English) Zbl 0558.68004 Philos. Trans. R. Soc. Lond., A 312, 475-489 (1984). The author presents another deep insight into the phenomenon of programming. A computer program is identified with the strongest predicate P, describing every relevant observation that can be made of the behaviour of a ”process” (a computer executing that program). A simple and attractive programming language, in which such programs can be written, illustrates the ideas. The specifications should be expressed (also as a predicate S) very accurately, may be using the full set of logical and mathematical notations. Then the task of the programmer is to find (using e.g. top-down techniques) the predicate P in the restricted notations of the mentioned programming language, such that \(P\Rightarrow S\) can be proved. Reviewer: C.Masagliu Cited in 2 Documents MSC: 68N01 General topics in the theory of software Keywords:programming; predicate; process; specifications PDFBibTeX XMLCite \textit{C. A. R. Hoare}, Philos. Trans. R. Soc. Lond., Ser. A 312, 475--489 (1984; Zbl 0558.68004) Full Text: DOI