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)

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

Related topics

command condition constructing definition rule set verification semantic

Related quotes

The closed language does not demonstrate and explain-it communicates decision, dictum, command. Where it defines, the definition becomes "separation of good from evil;” it establishes unquestionable.

Herbert Marcuse

Man's achievements rest upon the use of symbols.... we must consider ourselves as a symbolic, semantic class of life, and those who rule the symbols, rule us.

Alfred Korzybski

The legislator should keep two things constantly before his eyes: 1. The pure theory developed to its minutest details; 2. The particular condition of actual things which he designs to reform.

Wilhelm von Humboldt

So, you can set up an orchestra down this end of the railway station playing one particular area, and simultaneously at the other end something completely different going on. And in the middle they meet, or not, depending.

Robert Fripp

But Greece and her foundations are Built below the tide of war, Based on the crystalline sea Of thought and its eternity; Her citizens, imperial spirits, Rule the present from the past, On all this world of men inherits Their seal is set.

Percy Bysshe Shelley