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.

Revision: r1.2 - 19 Apr 2004 - 21:32 - MaratBoshernitsan
Transform > HOPS
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback