*Homepage:* http://www.cas.mcmaster.ca/~kahl/HOPS/ HOPS (the Higher Order Programming System) is a graphically interactive program development and program transformation system based on acyclic term graphs. * WolframKahl