Homepage: http://www.cas.mcmaster.ca/~kahl/HOPS/ HOPS (the Higher Order Programming System) is a graphically interactive program development and program transformation ...

Definition Program transformation is the act of changing one program into another. The term program transformation is also used for a program, or any other description ...