Mention913765
Download triples| rdf:type | qkg:Mention |
| so:text | It is, therefore, possible to extend a partially specified interpretation to a complete interpretation, without loss of verifiability, This fact offers the possibility of automatic verification of programs, the programmer merely tagging entrances and one edge in each innermost loop. (en) |
| so:isPartOf | https://en.wikiquote.org/wiki/Robert_Floyd |
| so:description | Assigning Meanings to Programs (1967) (en) |
| qkg:hasContext | qkg:Context450544 |
| Property | Object |
|---|
Triples where Mention913765 is the object (without rdf:type)
| qkg:Quotation865686 | qkg:hasMention |
| Subject | Property |
|---|
