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)

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

Related topics

automatic edge innermost interpretation loop loss possibility possible verification programmer

Related 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

This is the key of modern science and is the beginning of the true understanding of nature. This idea. That to look at the things, to record the details, and to hope that in the information thus obtained, may lie a clue to one or another of a possible theoretical interpretation.

Richard Feynman

While we enjoy the benefits of living in the greatest democracy in the world, we must be ever conscious of the fact that none of the achievements or freedoms enjoyed in America would be possible without the price that has been paid for by our servicemen and women.

Mark Kennedy

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