## Semantical considerations on Floyd-Hoare Logic (1976)

by
Vaughan R. Pratt

Citations: | 212 - 10 self |

### BibTeX

@MISC{Pratt76semanticalconsiderations,

author = {Vaughan R. Pratt},

title = {Semantical considerations on Floyd-Hoare Logic},

year = {1976}

}

### Years of Citing Articles

### OpenURL

### Abstract

This paper deals with logics of programs. The objective is to formalize a notion of program description, and to give both plausible (semantic) and effective (syntactic) criteria for the notion of truth of a description. A novel feature of this treatment is the development of the mathematics underlying Floyd-Hoare axiom systems independently of such systems. Other directions that such research might take are considered.