Content deleted Content added
m Adding {{WikiProject banner shell}} (Task 19) |
Danielgenin (talk | contribs) Noted missing definition of semantic equivalence |
||
Line 25:
would it be less confusing to say at least as defined instead of more defined? similarly deterministic? --[[User:Saganatsu|Saganatsu]] ([[User talk:Saganatsu|talk]]) 08:35, 12 December 2011 (UTC)
The semantic equivalence link in the first paragraph does not lead to a page with the relevant definition. The linked page disambiguates between semantic equivalence in logic and linguistics, neither of which is relevant to program transformations. This is a serious omission because semantic equivalence is the key to the concept of program transformation, since it is *the* property that program transformations are supposed to preserve.
--dgenin
| |||