Implementing χ

Calculi are used to reason about functional languages from a theoretical perspective. They allows us to make bold statements about programs based on sound and correct deductive methods. Methods of visualization allow us to gain a better understanding of the communication and interaction involved between processes. Often, graphs are used because of the level of intuition they can bring to a system. A specific type of graph, called a ‘Term-Graph’ is one method of implementing functional programming languages. It has the added benefit of increasing the efficiency of computations through a concept known as sharing. In this report we present the design and implementation of a term-graph rewriting system that implements a higher-order calculus. We evaluate the tool and present the main conclusions of the project.