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