Calculus of Floyd
Z Lem
Wersja AndrzejSalwicki (dyskusja | edycje) z dnia 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'
