Talk:Program transformation

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 factual. In checking the requirements, I find that I what can be considered a conflict of interest since I am the principal archtitect of the tool and the company I built to provide the funding to construct it.

I believe it to be a valuable addition to this page, as DMS is the only commercially available program transformation tool capable of processing many real programming languages.

FERMAT is mentioned on this page; it is the basis of Software Migration's service business, and so it is also commercial.

I'm not sure how posting something to this page actually gets anybody to "talk" about it. What I'm hoping will happen is that some other Wikipedian will verify the claims that DMS is indeed an interesting device in the Program Transformation space, and undelete the deletions, or make an argument as to why it is an inappropriate here.

idbaxter

would it be less confusing to say at least as defined instead of more defined? similarly deterministic? --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 — Preceding unsigned comment added by Danielgenin (talk • contribs) 22:57, 20 November 2023 (UTC)