Robert W. Floyd: "O estabelecimento de padrões formais para provas sob...

"O estabelecimento de padrões formais para provas sobre programas ... e a proposta de que a semântica de uma linguagem de programação Pode ser definido independentemente de todos os processadores para essa linguagem, estabelecendo padrões de rigor para provas sobre programas na linguagem, parece ser romance."

--- Robert W. Floyd

#Programação #Linguagem #Processadores #PADRÕES #Posso #Semântica #Prova #Rigor #Novela #Proposta #Programa #Establishment #Definiram #Linguagens de programação #Formal

Versão em inglês

The establishment of formal standards for proofs about programs... and the proposal that the semantics of a programming language may be defined independently of all processors for that language, by establishing standards of rigor for proofs about programs in the language, appears to be novel.