Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
sav08:relational_semantics [2009/05/26 12:53] vkuncak |
sav08:relational_semantics [2009/05/26 12:54] vkuncak |
||
|---|---|---|---|
| Line 247: | Line 247: | ||
| \] | \] | ||
| In other words, assigning a variable is the same as changing it arbitrarily and then assuming that it has the right value. Under what condition does this equality hold? | In other words, assigning a variable is the same as changing it arbitrarily and then assuming that it has the right value. Under what condition does this equality hold? | ||
| + | |||
| + | |||
| ===== Summary of Correspondence between Programs and Relations ===== | ===== Summary of Correspondence between Programs and Relations ===== | ||
| - | + program construct + relational meaning + | + | ^ program construct ^ relational meaning ^ |
| | sequential composition | relation composition | | | sequential composition | relation composition | | ||
| | branching | union | | | branching | union | | ||