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...") |
|||
| Linia 1: | Linia 1: | ||
| − | In 1967 Robert Floyd published article Assigning meanings to programs. | + | In 1967 Robert Floyd published article [[Media:AssigningMeanings1967.pdf|Assigning meanings to programs]]. |
It was an important step toward definition of semantics. | It was an important step toward definition of semantics. | ||
Programs considered by Floyd were finite sequences of labeled instructions of the form<br /> | Programs considered by Floyd were finite sequences of labeled instructions of the form<br /> | ||
L: if gamma then x:= tau goto L'<br /> | L: if gamma then x:= tau goto L'<br /> | ||
Aktualna wersja na dzień 19:14, 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'
