“A semantic definition of a particular set of command types, then, is a rule for constructing, for any command of one of these types, a verification condition on the antecedents and consequents.”

— Robert Floyd

Source: Assigning Meanings to Programs http://www.cs.virginia.edu/~weimer/2007-615/reading/FloydMeaning.pdf (1967), p. 21 [italics in original, math symbols omitted].

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 "A semantic definition of a particular set of command types, then, is a rule for constructing, for any command of one of…" by Robert Floyd?

Robert Floyd 9

American computer scientist 1936–2001

Related quotes

“Fools follow rules when the set commands you.”

Zack de la Rocha (1970) American musician, poet rapper and activist best known as the vocalist and lyricist of rap metal band Rage Again…

Bullet in the Head.
Song lyrics, Rage Against the Machine (1992)

“For whosoever commands the sea commands the trade; whosoever commands the trade of the world commands the riches of the world, and consequently the world itself.”

Walter Raleigh (1554–1618) English aristocrat, writer, poet, soldier, courtier, spy, and explorer

A Discourse of the Invention of Ships, Anchors, Compass, &c

“Age is just a number, not a state of mind or a reason for any type of particular behaviour.”

Cecelia Ahern book Love, Rosie

Source: Love, Rosie

“The worst crime of any type of state is just that it always tries to force the rich diversity of social life into definite forms and adjust it to one particular form, which allows for no wider outlook and regards the previously exciting status as finished.”

Rudolf Rocker book Anarcho-Syndicalism

Source: Anarcho-Syndicalism (1938), Ch. 1 "Anarchism: Its Aims and Purposes"
Context: Anarchism is no patent solution for all human problems, no Utopia of a perfect social order, as it has so often been called, since on principle it rejects all absolute schemes and concepts. It does not believe in any absolute truth, or in definite final goals for human development, but in an unlimited perfectibility of social arrangements and human living conditions, which are always straining after higher forms of expression, and to which for this reason one can assign no definite terminus nor set any fixed goal. The worst crime of any type of state is just that it always tries to force the rich diversity of social life into definite forms and adjust it to one particular form, which allows for no wider outlook and regards the previously exciting status as finished. The stronger its supporters feel themselves, the more completely they succeed in bringing every field of social life into their service, the more crippling is their influence on the operation of all creative cultural forces, the more unwholesomely does it affect the intellectual and social development of any particular epoch.

“Lie rules
Lie commands”

Manu Chao (1961) French Spanish singer, guitarist and record producer

Mentira https://www.youtube.com/watch_popup?v=PCZuYK3Rjig.
Clandestino (1998)

“I observed, "Love is the fulfilling of the law, the end of the commandment." It is not only "the first and great" command, but all the commandments in one. "Whatsoever things are just, whatsoever things are pure, if there be any virtue, if there be any praise," they are all comprised in this one word, love.”

John Wesley (1703–1791) Christian theologian

Wesley quoting his own sermon on "The Circumcision of the Heart" (1 January 1733) in the work A Plain Account Of Christian Perfection (Edition of 1777)
General sources

“A language in the full semiotical sense of the term is any intersubjective set of sign vehicles whose usage is determined by syntactical, semantical, and pragmatical rules.”

Charles W. Morris (1903–1979) American philosopher

Variant: The full characterization of a language may now be given: A language in the full semiotic sense of the term is any intersubjective set of sign vehicles whose usage is determined by syntactical, semantical, and pragmatical rules.
Source: Writings on the General Theory of Signs, 1971, p. 48; as cited in: Adam Schaff (1962). Introduction to semantics, p. 314

“A system with greater organizational diversity has a higher probability of having in hand some form that does a reasonably satisfactory job of dealing with the changed environmental conditions. Adaptation in such a system means reallocating resources from one type of existing organization to another, either by command or by market mechanisms, rather than trying to identify and create appropriate organizational forms.”

Michael T. Hannan (1943) US-American sociologist of Stanford University

Source: Organizational ecology, 1989, p. 8

“For two things both to believe that snow is white, they need not to be physically similar in any specifiable way, but they must both be in a "functional" condition or state specifiable in the most functional language; they must share a Turing machine description according to which they are both in some particular logical state (which is roughly like two different computers having the same program and being in the same "place" in the program). … it is a type functionalism—each mental type is identifiable as a functional type in the language of Turing machine description.”

Daniel Dennett book Brainstorms

Source: Brainstorms (1978), p. xvi

“There appears to exist a general systems laws which apply to any system of a certain type, irrespective of the particular properties of the system and of the elements involved.”

Ludwig von Bertalanffy (1901–1972) austrian biologist and philosopher

Source: General System Theory (1968), 2. The Meaning of General Systems Theory, p. 37

“A semantic definition of a particular set of command types, then, is a rule for constructing, for any command of one of these types, a verification condition on the antecedents and consequents.”

Help us to complete the source, original and additional information

Robert Floyd 9

Related quotes

Related topics