Semantical considerations on Floyd-Hoare logic

Authors	Vaughan R. Pratt
Editors
Type	inproceedings
Year	1976
Citekey	`pratt1976semantical`

Published in	17th Annual Symposium on Foundations of Computer Science
Publisher	IEEE
Pages	109--121

DOI	10.1109/sfcs.1976.27

Abstract	Empty on purpose for the third reason this corpus records: the abstract is printed and the copy cannot yield it faithfully. It is printed. Leaf 3 carries a labelled ABSTRACT beneath the title block -- MIT/LCS/TR-168, Vaughan R. Pratt, Massachusetts Institute of Technology, August 1976. And the scan's OCR is too damaged to transcribe. The title alone renders as "SEMANTICAL CONSICERATIM, ON FLOVD-MJARE LOOIC"; the affiliation as "Massachusetts Institute of Technofoay, Clfflbridse, '1A 02139"; the date as "AupstlS76". The abstract itself reads "This paper deals with l0&ics of proerams. The objective is to formalize a notion of program description, to 1ive both plausible (semantic) and effective (syntactic) crit«ia for the notion of truth of a description." Every second word is a guess. Transcribing that would put invention in a field that reads as quotation. The same decision, for the same reason, is recorded on `robinson1965machineoriented`, whose abstract is printed and whose scan renders one phrase as "several search principles (called search principles)". What would fill this field is a better scan or the printed report, not more effort against this file. Also on the copy: leaf 2 is a digitiser's inserted blank, printed "This blank page was inserted to presenie pagination" -- the same artefact as on `reed1978naming`, and itself OCR-damaged. The work begins on leaf 3.

Abstract

Empty on purpose for the third reason this corpus records: the abstract is printed and the copy cannot yield it faithfully. **It is printed.** Leaf 3 carries a labelled ABSTRACT beneath the title block -- MIT/LCS/TR-168, Vaughan R. Pratt, Massachusetts Institute of Technology, August 1976. **And the scan's OCR is too damaged to transcribe.** The title alone renders as "SEMANTICAL CONSICERATIM, ON FLOVD-MJARE LOOIC"; the affiliation as "Massachusetts Institute of Technofoay, Clfflbridse, '1A 02139"; the date as "AupstlS76". The abstract itself reads "This paper deals with l0&ics of proerams. The objective is to formalize a notion of program description, to 1ive both plausible (semantic) and effective (syntactic) crit«ia for the notion of truth of a description." Every second word is a guess. Transcribing that would put invention in a field that reads as quotation. The same decision, for the same reason, is recorded on `robinson1965machineoriented`, whose abstract is printed and whose scan renders one phrase as "several search principles (called search principles)". What would fill this field is a better scan or the printed report, not more effort against this file. **Also on the copy**: leaf 2 is a digitiser's inserted blank, printed "This blank page was inserted to presenie pagination" -- the same artefact as on `reed1978naming`, and itself OCR-damaged. The work begins on leaf 3.

pdf, 1.6 MB. Not published — it may be under copyright. The facts and links here are.

How it got here	agent via bibtex
Added	2026-08-05 00:00 UTC
Approved by	a person 2026-08-14 11:33 UTC

relatively-complete the-copy-is-not-the-work

@inproceedings{pratt1976semantical,
  title        = {Semantical considerations on Floyd-Hoare logic},
  author       = {Vaughan R. Pratt},
  year         = {1976},
  booktitle    = {17th Annual Symposium on Foundations of Computer Science},
  publisher    = {IEEE},
  pages        = {109--121},
  doi          = {10.1109/sfcs.1976.27},
}

This record lives at https://refs.drheap.org/pratt1976semantical/ and will keep doing so.

Semantical considerations on Floyd-Hoare logic

The work

Where it appeared

Identifiers

Settled

A copy is held

How it got here

Filed under

Cite it as