Talk:Program transformation: Difference between revisions

Revision as of 08:10, 13 August 2023

Latest revision as of 21:30, 28 December 2024

(2 intermediate revisions by 2 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 25 ⟶ 26:

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">—&nbsp;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-->