MetaWSL and Meta-Transformations in the FermaT Transformation System

29th Annual International Computer Software and Applications Conference (COMPSAC'05) Volume 1 pp. 233-238
MetaWSL and Meta-Transformations in the FermaT Transformation System
Martin Ward, De Montfort University
Hussein Zedan, De Montfort University

Full Article Text:

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2005.107
Send link to a friend

Abstract
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.
Back to Top Additional Information
Citation: Martin Ward, Hussein Zedan, "MetaWSL and Meta-Transformations in the FermaT Transformation System," compsac, pp. 233-238, 29th Annual International Computer Software and Applications Conference (COMPSAC'05) Volume 1, 2005

	Advanced Search
CS Search Google Search