Institute for Software Technology Federal Armed Forces University Munich

The Higher Object Programming System

HOPS is a graphically interactive program development and program transformation system based on acyclic term graphs.

HOPS is intended as:

• Research tool: New languages can easily be constructed and experimented with via the transformation mechanism.
• Programming tool: HOPS may be used as a ``better Haskell editor'', integrating syntax directed editing with strong online typing.
• Visualisation and debugging tool: Automatic evaluation sequences help to illustrate the workings of, for example, purely functional programs with lazy evaluation.
• Education tool: A hands-on experience of term graphs, syntactic structure, typing, graph reduction, general second-order rule application and reduction strategies can be gained easily through the use of HOPS.

These pages provide:

• A short introduction
• Documentation and papers
• Example transformations sequences as animated GIF pictures
• A few (large size, but only 10-30k each) screendumps
• Implementation details
• Downloading

The homepage of HOPS is http://ist.unibw-muenchen.de/kahl/HOPS/.