Frases Sobre "Rotações" - Página 15
"É, 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