Frases de Robert W. Floyd
Mais citações e provérbios de Robert W. Floyd sobre:
IFS ,
Programação ,
Linguagem ,
Fatos ,
Grandes ,
Processadores ,
Luta ,
Método ,
Comando ,
PADRÕES ,
Posso ,
Projeto ,
Passado ,
Rotações ,
Tipo ,
Sensato ,
Condições ,
Possibilidade ,
Definições ,
Particular ,
Semântica ,
Entradas ,
Prazo ,
Ofertas ,
Investimento ,
"É, 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
--- Robert W. Floyd
"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
--- 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
--- Robert W. Floyd