29th Annual International Computer Software and Applications Conference (COMPSAC'05) Volume 1
MetaWSL and Meta-Transformations in the FermaT Transformation System
Edinburgh, Scotland
July 26-July 28
ISBN: 0-7695-2413-3
A program transformation is an operation which can be applied to any program (satisfying the transformations applicability conditions) and returns a semantically equivalent program. In the FermaT transformation system program transformations are carried out in a wide spectrum language, called WSL, and the transformations themselves are written in an extension of WSL calledMETAWSL which was specifically designed to be a domain-specific language for writing program transformations. As a result, FermaT is capable of transforming its own source code via meta-transformations. This paper introducesMETAWSL and describes some applications of meta-transformations in the FermaT system.
Citation:
Martin Ward, Hussein Zedan, "MetaWSL and Meta-Transformations in the FermaT Transformation System," compsac, vol. 1, pp.233-238, 29th Annual International Computer Software and Applications Conference (COMPSAC'05) Volume 1, 2005