Share this sentence
— Robert W. 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."
Related information
Discover more quotes
Previous Quote
There are no beginnings, not even to stories. There are only places where you make an entrance into someone else's life and either stay or turn and go away.
— Timothy Findley
Next Quote
I owe baseball all that I have and much of what I hope to have. Baseball made my entrance to the film industry immeasurably easier than I could have made it alone. To the greatest game in the world I shall be eternally in debt.
— Chuck Connors
Loading recommended content...