Semantical Considerations on Floyd-Hoare Logic
Vaughan Pratt · DSpace@MIT (Massachusetts Institute of Technology) · 1976
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 Floyed-Hoare axiom systems independently of such systems. Our directions that such research might take are also considered.