The FermaT Maintenance Environment Tool Demonstration
Martin P. Ward · 2009
The FermaT Maintenance Environment (FME) is a platform independent graphical user interface for the FermaT program transformation system. It is able to represent WSL code and apply FermaT transformations on single statements.