“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

Source: Assigning Meanings to Programs http://www.cs.virginia.edu/~weimer/2007-615/reading/FloydMeaning.pdf (1967), p. 25.

Adopted from Wikiquote. Last update Sept. 14, 2021. History

Help us to complete the source, original and additional information

Do you have more details about the quote "It is, therefore, possible to extend a partially specified interpretation to a complete interpretation, without loss of…" by Robert Floyd?
Robert Floyd photo
Robert Floyd 9
American computer scientist 1936–2001

Related quotes

Umberto Eco photo

“The interpretation of metaphors shifts from the univocality of catachreses to the open possibilities offered by inventive metaphors.”

Umberto Eco book Semiotics and the Philosophy of Language

[O] : Introduction, 0.2
Semiotics and the Philosophy of Language (1984)
Context: The principle of interpretation says that "a sign is something by knowing which we know something more" (Peirce). The Peircean idea of semiosis is the idea of an infinite process of interpretation. It seems that the symbolic mode is the paramount example of this possibility.
However, interpretation is not reducible to the responses elicited by the textual strategies accorded to the symbolic mode. The interpretation of metaphors shifts from the univocality of catachreses to the open possibilities offered by inventive metaphors. Many texts have undoubtedly many possible senses, but it is still possible to decide which one has to be selected if one approaches the text in the light of a given topic, as well as it is possible to tell of certain texts how many isotopies they display.

“The mere technical problems of building a home are insignificant when compared to an understanding and an interpretation of one's innermost feelings and thoughts concerning his shelter needs.”

Ken Kern American writer

The Owner Built Home: A How-to-do-it Book (1972)

Edsger W. Dijkstra photo

“Don't blame me for the fact that competent programming, as I view it as an intellectual possibility, will be too difficult for "the average programmer"”

Edsger W. Dijkstra (1930–2002) Dutch computer scientist

you must not fall into the trap of rejecting a surgical technique because it is beyond the capabilities of the barber in his shop around the corner.
Dijkstra (1975) Comments at a Symposium http://www.cs.utexas.edu/users/EWD/transcriptions/EWD05xx/EWD512.html (EWD 512).
1970s

“The real problem for the Christian apologist is to find some way apart from the mere facts themselves to establish the justifiability of interpreting facts in a theistic way. No appeal to the mere events or facts themselves will aid in determining which of the alternative interpretations should be placed on the facts. Viewpoints and world views come from without and not from within the facts. Hence, facts or events as such cannot establish theism.”

Norman L. Geisler (1932–2019) American evangelical theologian

Christian Apologetics

Sergey Lavrov photo

“As the Libyan experience has shown, sadly, a military scenario is possible. We won’t allow any more such disingenuous interpretations. We will see to it that no resolution is open to interpretation like the one on Libya.”

Sergey Lavrov (1950) Russian politician and Foreign Minister

Moscow to Block Any Bid for Force Against Iran, October 2012 http://en.rian.ru/russia/20121023/176857678.html

“For having a clear influence on methodologies for the creation of efficient and reliable software, and for helping to found the following important subfields of computer science: the theory of parsing, the semantics of programming languages, automatic program verification, automatic program synthesis, and analysis of algorithms.”

Robert Floyd (1936–2001) American computer scientist

1978 Turing Award Citation https://web.archive.org/web/20070708004814/http://awards.acm.org/citation.cfm?id=4173633&srt=all&aw=140&ao=AMTURING.
About

Karl Barth photo

“This is the voice of our conscience, telling us of the righteousness of God. And since conscience is the perfect interpreter of life, what it tells us is no question, no riddle, no problem, but a fact — the deepest, innermost, surest fact of life: God is righteous.”

Karl Barth (1886–1968) Swiss Protestant theologian

"The Righteousness of God" (1916) in The Word of God and the Word of Man (1928) as translated by Douglas Horton; this passage begins with a quote of Isaiah 40:3-5; often quoted alone has been the phrase following it: "Conscience is the perfect interpreter of life."
Context: "The voice of him that crieth in the wilderness, Prepare ye the way of the Lord, make straight in the desert a highway for our God. Every valley shall be exalted, and every mountain and hill shall be made low: and the crooked shall be made straight, and the rough places plain: And the glory of the Lord shall be revealed!" This is the voice of our conscience, telling us of the righteousness of God. And since conscience is the perfect interpreter of life, what it tells us is no question, no riddle, no problem, but a fact — the deepest, innermost, surest fact of life: God is righteous. Our only question is what attitude toward the fact we ought to take.
We shall hardly approach the fact with our critical reason. The reason sees the small and the larger but not the large. It sees the preliminary, but not the final, the derived but not the original, the complex but not the simple. It sees what is human but not what is divine.
We shall hardly be taught this fact by men.

“Computer-aided design is not automatic design, although it must include many automatic design features. By automatic design we mean design procedures which are capable of being completely specified in a form which a computer can execute without human intervention.”

Douglas T. Ross (1929–2007) American computer scientist

Source: Computer-Aided Design: A Statement of Objectives (1960), p. 2.

Fred Brooks photo

“Even perfect program verification can only establish that a program meets its specification. [… ] Much of the essence of building a program is in fact the debugging of the specification.”

Fred Brooks No Silver Bullet

Page 195.
No Silver Bullet (1986)

Friedrich Nietzsche photo

“There are no facts, only interpretations.”

Friedrich Nietzsche (1844–1900) German philosopher, poet, composer, cultural critic, and classical philologist

Notebooks (Summer 1886 – Fall 1887)
Variant translation: Against that positivism which stops before phenomena, saying "there are only facts," I should say: no, it is precisely facts that do not exist, only interpretations…
As translated in The Portable Nietzsche (1954) by Walter Kaufmann, p. 458

Related topics