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:
The homepage of HOPS is http://ist.unibw-muenchen.de/kahl/HOPS/.