Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
sav08:relational_semantics_of_procedures [2009/05/26 23:02] vkuncak |
sav08:relational_semantics_of_procedures [2009/05/26 23:06] vkuncak |
||
|---|---|---|---|
| Line 153: | Line 153: | ||
| \[ | \[ | ||
| r_{even} = \{((x,wasEven),(x',wasEven').\ x \ge 0 \land x' = 0 \land | r_{even} = \{((x,wasEven),(x',wasEven').\ x \ge 0 \land x' = 0 \land | ||
| - | (wasEven' \leftrightarrow (x \pmod 2 = 0)) | + | (wasEven' \leftrightarrow ((x \mod 2) = 0)) |
| \] | \] | ||
| \[ | \[ | ||
| r_{odd} = \{((x,wasEven),(x',wasEven').\ x \ge 0 \land x' = 0 \land | r_{odd} = \{((x,wasEven),(x',wasEven').\ x \ge 0 \land x' = 0 \land | ||
| - | (wasEven' \leftrightarrow (x \pmod 2 \ne 0)) | + | (wasEven' \leftrightarrow ((x \mod 2) \ne 0)) |
| \] | \] | ||