![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. (Robert Floyd)](https://cdn.quotesdtb.com/img/quotes_images_webp/41/robert-floyd-automatic-complete-184441.webp)
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.
Robert FloydRelated topics
automatic complete edge extend fact innermost interpretation loop loss possibility possible tagging verification programmer verifiabilityRelated quotes
The purpose of the suit is to harass and discourage rather than to win. The law can be used very easily to harass, and enough harassment on somebody who is simply on the thin edge anyway, well knowing that he is not authorized, will generally be sufficient to cause his professional decease. If possible, of course, ruin him utterly.
L. Ron Hubbard
I don't like standing near the edge of a platform when an express train is passing through. I like to stand right back and if possible to get a pillar between me and the train. I don't like to stand by the side of a ship and look down into the water. A second's action would end everything. A few drops of desperation.
Winston Churchill
In fact, at this point in history, the most radical, pervasive, and earth-shaking transformation would occur simply if everybody truly evolved to a mature, rational, and responsible ego, capable of freely participating in the open exchange of mutual self-esteem. There is the 'edge of history.' There would be a real New Age.
Ken Wilber
