Revision as of 22:57, 20 November 2023 edit Danielgenin (talk \| contribs) 11 edits Noted missing definition of semantic equivalence ← Previous edit		Revision as of 22:58, 20 November 2023 edit undo SineBot (talk \| contribs) Bots 2,564,820 edits m Signing comment by Danielgenin - "Noted missing definition of semantic equivalence" Next edit →
Line 28: 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--> ~~--dgenin~~

Talk:Program transformation: Difference between revisions