loading...
MetaWSL and Meta-Transformations in the FermaT Transformation System
Edinburgh, Scotland July 26-July 28
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2005.10729th Annual International Computer So ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Martin Ward, Hussein Zedan, "MetaWSL and Meta-Transformations in the FermaT Transformation System," Computer Software and Applications Conference, Annual International, vol. 1, pp. 233-238, 29th Annual International Computer Software and Applications Conference (COMPSAC'05) Volume 1, 2005.
 
 
BibTex
x
 
@article{ 10.1109/COMPSAC.2005.107,
author = {Martin Ward and Hussein Zedan},
title = {MetaWSL and Meta-Transformations in the FermaT Transformation System},
journal ={Computer Software and Applications Conference, Annual International},
volume = {1},
year = {2005},
issn = {0730-3157},
pages = {233-238},
doi = {http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2005.107},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Computer Software and Applications Conference, Annual International
TI - MetaWSL and Meta-Transformations in the FermaT Transformation System
SN - 0730-3157
SP233
EP238
A1 - Martin Ward,
A1 - Hussein Zedan,
PY - 2005
KW - null
VL - 1
JA - Computer Software and Applications Conference, Annual International
ER -
 
Martin Ward, De Montfort University
Hussein Zedan, De Montfort University
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
Usage of this product signifies your acceptance of the Terms of Use.