Robert W. Floyd: "Definisi semantik dari satu jenis perintah tertentu,...

"Definisi semantik dari satu jenis perintah tertentu, kemudian, adalah aturan untuk membangun, untuk perintah apa pun dari salah satu dari jenis ini, suatu kondisi verifikasi pada anteseden dan konsekuensi."

--- Robert W. Floyd

#Perintah #Kondisi #Tipe #Definisi #Tertentu #Verifikasi

Versi Bahasa Inggris

A semantic definition of a particular set of command types, then, is a rule for constructing, for any command of one of these types, a verification condition on the antecedents and consequents.