Calculus of Floyd: Różnice pomiędzy wersjami
Z Lem
(Utworzono nową stronę "In 1967 Robert Floyd published article Assigning meanings to programs. It was an important step toward definition of semantics. Programs considered by Floyd were finite...") |
(Brak różnic)
|
Wersja z 18:09, 8 sie 2017
In 1967 Robert Floyd published article Assigning meanings to programs.
It was an important step toward definition of semantics.
Programs considered by Floyd were finite sequences of labeled instructions of the form
L: if gamma then x:= tau goto L'
