Robert W. Floyd: "Uma definição semântica de um determinado conjunto d...

"Uma definição semântica de um determinado conjunto de tipos de comando, então, é uma regra para a construção, para qualquer comando de um desses tipos, uma condição de verificação nos antecedentes e Consequentes."

--- Robert W. Floyd

#Comando #Tipo #Condições #Definições #Particular #Verificação

Versão em inglês

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.