Calculus of Floyd
Z Lem
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'
