Content deleted Content added
Danielgenin (talk | contribs) Noted missing definition of semantic equivalence |
Christian75 (talk | contribs) Assessment (Low): banner shell, +Computing (Rater) |
||
| (One intermediate revision by one other user not shown) | |||
Line 1:
{{WikiProject banner shell|class=
{{WikiProject Computing |importance=Low}}
}}
I added a link to the DMS Software Reengineering Toolkit to this page.
It was deleted by a moderator, apparantly on the grounds that
Line 28 ⟶ 29:
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 <!-- Template:Unsigned --><small class="autosigned">— Preceding [[Wikipedia:Signatures|unsigned]] comment added by [[User:Danielgenin|Danielgenin]] ([[User talk:Danielgenin#top|talk]] • [[Special:Contributions/Danielgenin|contribs]]) 22:57, 20 November 2023 (UTC)</small> <!--Autosigned by SineBot-->
| |||