Program Transformation: What, How, and Why
Victor Winter · Wiley Encyclopedia of Computer Science and Engineering · 2007
Abstract Transformationcan be viewed as a philosophy on how to achieve change. A rigorous treatment of transformation has its roots inequational reasoning—the idea that equals can be substituted for equals. This article explorestransformationas it applies to the manipulation of software.