Semantical Considerations on Floyd-Hoare Logic
| dc.contributor.author | Pratt, Vaughan R. | en_US |
| dc.date.accessioned | 2023-03-29T15:00:38Z | |
| dc.date.available | 2023-03-29T15:00:38Z | |
| dc.date.issued | 1976-09 | |
| dc.identifier.uri | https://hdl.handle.net/1721.1/149462 | |
| dc.description.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 Floyed-Hoare axiom systems independently of such systems. Our directions that such research might take are also considered. | en_US |
| dc.relation.ispartofseries | MIT-LCS-TR-168 | |
| dc.title | Semantical Considerations on Floyd-Hoare Logic | en_US |
| dc.identifier.oclc | 03222470 |
