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."
![](/images/authors/r/robert-w-floyd-45615.jpg)
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.
Anda mungkin juga menyukai:
![](/images/no-avatar.png)
Benedict Freedman
3 Kutipan dan Pepatah
![](/images/authors/d/denholm-elliott-12605.jpg)
Denholm Elliott
3 Kutipan dan Pepatah
![](/images/authors/d/donn-moomaw-13514.jpg)
Donn Moomaw
3 Kutipan dan Pepatah
![](/images/authors/d/douglas-j-feith-13777.jpg)
Douglas J. Feith
17 Kutipan dan Pepatah
![](/images/authors/j/james-kavanaugh-23722.jpg)
James Kavanaugh
11 Kutipan dan Pepatah
![](/images/authors/l/lizz-wright-33414.jpg)
Lizz Wright
8 Kutipan dan Pepatah
![](/images/no-avatar.png)
Richard McGuire
11 Kutipan dan Pepatah
![](/images/authors/r/ronn-torossian-46241.jpg)
Ronn Torossian
1 Kutipan dan Pepatah
![](/images/authors/s/sam-allardyce-47077.jpg)
Sam Allardyce
11 Kutipan dan Pepatah
![](/images/no-avatar.png)
William Meade
1 Kutipan dan Pepatah
![](/images/authors/a/ala-bashir-861.jpg)
Ala Bashir
12 Kutipan dan Pepatah
![](/images/authors/j/jeff-gordon-25043.jpg)
Jeff Gordon
48 Kutipan dan Pepatah