Anagopos: a reduction graph visualizer for term rewriting and lambda calculus. We present Anagopos, an open source tool for visualizing reduction graphs of terms in lambda calculus and term rewriting. Anagopos allows step-by-step generation of reduction graphs under six different graph drawing algorithms. We provide ample examples of graphs drawn with the tool.
References in zbMATH (referenced in 1 article )
Showing result 1 of 1.
- Bugge Grathwohl, Niels Bjørn; Ketema, Jeroen; Pallesen, Jens Duelund; Simonsen, Jakob Grue: Anagopos: a reduction graph visualizer for term rewriting and lambda calculus (2011)