what is the 'x :=' part mean in a hoare triple?
-
05-11-2019 - |
Вопрос
In Hoare logic, there's a thing called a Hoare triple, e.g.$$ \begin{array}{ccccc} \{x = 2\} & & x := x+1 & & \{x = 3\} \end{array}. $$ What does '$x :=$' mean?
Нет правильного решения
Не связан с cs.stackexchange