Content deleted Content added
←Created page with 'I added a link to the DMS Software Reengineering Toolkit to this page. It was deleted by a moderator, apparantly on the grounds that it was more commercial that fac...' |
Christian75 (talk | contribs) Assessment (Low): banner shell, +Computing (Rater) |
||
| (4 intermediate revisions by 4 users not shown) | |||
Line 1:
{{WikiProject banner shell|class=Stub|1=
{{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 21 ⟶ 24:
~~idbaxter
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 <!-- 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-->
| |||