HOPS
Program-Transformation.Org: The Program Transformation Wiki
Homepage: http://ist.unibw-muenchen.de/kahl/HOPS/
HOPS (the Higher Order Programming System) is a graphically interactive program development and program transformation system based on acyclic term graphs.