Mention37659
Download triples| rdf:type | qkg:Mention |
| so:text | The establishment of formal standards for proofs about programs and the proposal that the semantics of a programming language may be defined independently of all processors for that language, by establishing standards of rigor for proofs about programs in the language, appears to be novel. (en) |
| so:isPartOf | https://en.wikiquote.org/wiki/Robert_Floyd |
| so:description | Assigning Meanings to Programs (1967) (en) |
| qkg:hasContext | qkg:Context18503 |
| Property | Object |
|---|
Triples where Mention37659 is the object (without rdf:type)
| qkg:Quotation35141 | qkg:hasMention |
| Subject | Property |
|---|
