Robert W. Floyd: "É, portanto, possível estender uma interpretação par...

"É, 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

#Fatos #Rotações #Possibilidade #Entradas #Programadores #Ofertas #Interpretação #Perda #Arestas #Verificação #Programa

Versão em inglês

It is, therefore, possible to extend a partially specified interpretation to a complete interpretation, without loss of verifiability... This fact offers the possibility of automatic verification of programs, the programmer merely tagging entrances and one edge in each innermost loop.