Robert W. Floyd: "Pembentukan standar formal untuk bukti tentang progr...

"Pembentukan standar formal untuk bukti tentang program ... dan proposal bahwa semantik bahasa pemrograman dapat didefinisikan secara independen dari semua prosesor untuk bahasa itu, dengan menetapkan standar kekakuan untuk bukti tentang program dalam bahasa, tampaknya baru ."

--- Robert W. Floyd

#Pemrograman #Bahasa #Mungkin #Program #Bukti #Novel #Didefinisikan #Kekakuan #Pembentukan #Standar #Bahasa pemrograman #Usul #Pengolah #Semantik #Resmi

Versi Bahasa Inggris

The establishment of formal standards for proofs about programs... and the proposal that the semantics of a programming language may be defined independently of all processors for that language, by establishing standards of rigor for proofs about programs in the language, appears to be novel.