Robert W. Floyd: "Oleh karena itu, dimungkinkan untuk memperluas inter...

"Oleh karena itu, dimungkinkan untuk memperluas interpretasi yang ditentukan sebagian ke interpretasi lengkap, tanpa kehilangan verifikasi ... Fakta ini menawarkan kemungkinan verifikasi otomatis program, programmer hanya menandai pintu masuk dan satu sisi di setiap loop paling dalam."

--- Robert W. Floyd

#Programmer #Pintu masuk #Fakta #Penawaran #Kerugian #Kemungkinan #Penafsiran #Program #Loop #Tepi #Verifikasi

Versi Bahasa Inggris

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.