BibTeX
@MISC{Pratt76semanticalconsiderations,
author = {Vaughan R. Pratt},
title = {Semantical considerations on Floyd-Hoare Logic},
year = {1976}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
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.
