MAPTransformation System
Program-Transformation.Org: The Program Transformation Wiki
Homepage: http://www.iasi.rm.cnr.it/~proietti/system.html
The MAP Transformation System is a tool which is designed to support the interactive transformation of logic programs using the unfold/fold
methodology.
CategorySystem