Abstract

Transformation can be viewed as a philosophy on how to achieve change. A rigorous treatment of transformation has its roots in equational reasoning - the idea that equals can be substituted for equals. This article explores transformation as it applies to the manipulation of software.