Frases de Robert W. Floyd
Mais citações e provérbios de Robert W. Floyd sobre:
IFS ,
Programação ,
Linguagem ,
Fatos ,
Grandes ,
Processadores ,
Método ,
Luta ,
Comando ,
Posso ,
Projeto ,
PADRÕES ,
Passado ,
Rotações ,
Condições ,
Sensato ,
Possibilidade ,
Definições ,
Tipo ,
Prazo ,
Semântica ,
Entradas ,
Programadores ,
Investimento ,
Prova ,
"Minha mensagem para o programador sério é Isso: Gastar uma parte do seu dia de trabalho examinando e refinando seus próprios métodos. Mesmo que os programadores estejam sempre lutando para atender algum prazo futuro ou passado, a abstração metodológica é um investimento sábio a longo prazo."
--- Robert W. Floyd
"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
"É, portanto, possível estender uma interpretação parcialmente especificada a uma interpretação completa, sem perda de verificabilidade ... Esse fato oferece a possibilidade de Verificação de programas, o programador apenas marcando entradas e uma borda em cada loop mais interno."
--- Robert W. Floyd