https://lem12.uksw.edu.pl/index.php?action=history&feed=atom&title=Calculus_of_Floyd 2026-04-03T23:54:50Z Historia wersji tej strony wiki MediaWiki 1.23.8 https://lem12.uksw.edu.pl/index.php?title=Calculus_of_Floyd&diff=2403&oldid=prev 2017-08-08T18:14:45Z

<p></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr style='vertical-align: top;'> <td colspan='2' style="background-color: white; color:black; text-align: center;">← poprzednia wersja</td> <td colspan='2' style="background-color: white; color:black; text-align: center;">Wersja z 18:14, 8 sie 2017</td> </tr><tr><td colspan="2" class="diff-lineno">Linia 1:</td> <td colspan="2" class="diff-lineno">Linia 1:</td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>In 1967 Robert Floyd published article Assigning meanings to programs. &#160;</div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>In 1967 Robert Floyd published article <ins class="diffchange diffchange-inline">[[Media:AssigningMeanings1967.pdf|</ins>Assigning meanings to programs<ins class="diffchange diffchange-inline">]]</ins>. &#160;</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>It was an important step toward definition of semantics.</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>It was an important step toward definition of semantics.</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>Programs considered by Floyd were finite sequences of labeled instructions of the form&lt;br /&gt;</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>Programs considered by Floyd were finite sequences of labeled instructions of the form&lt;br /&gt;</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>L: if gamma then x:= tau goto L'&lt;br /&gt;</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>L: if gamma then x:= tau goto L'&lt;br /&gt;</div></td></tr> </table>

AndrzejSalwicki https://lem12.uksw.edu.pl/index.php?title=Calculus_of_Floyd&diff=2401&oldid=prev 2017-08-08T17:09:39Z

<p>Utworzono nową stronę &quot;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...&quot;</p> <p><b>Nowa strona</b></p><div>In 1967 Robert Floyd published article Assigning meanings to programs. <br /> It was an important step toward definition of semantics.<br /> Programs considered by Floyd were finite sequences of labeled instructions of the form&lt;br /&gt;<br /> L: if gamma then x:= tau goto L'&lt;br /&gt;</div>

AndrzejSalwicki