Skip to content

Quotes from Assigning Meanings to Programs — Robert W. Floyd

1936–2001 United States

← All quotes by Robert W. Floyd

1 quote

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.

Assigning Meanings to Programs (1967)

Attribution

Quotes and notes from Wikiquote: Robert W. Floyd (page history), available under CC BY-SA 4.0.