Anagopos: A Reduction Graph Visualizer for Term Rewriting and Lambda Calculus.

Abstract

We present Anagopos, a tool for visualizing reduction graphs of terms in lambda calculus and term rewriting. Anagopos allows step-by-step generation of reduction graphs under 6 different graph drawing algorithms. We provide ample examples of graphs drawn with the tool.

@inproceedings{grathwohl2011,
  abstract = {We present Anagopos, a tool for visualizing reduction graphs
              of terms in lambda calculus and term rewriting.  Anagopos allows
              step-by-step generation of reduction graphs under 6 different
              graph drawing algorithms.  We provide ample examples of graphs drawn
              with the tool.},
  author = {Niels Bj{\o}rn Bugge Grathwohl, Jeroen Ketema, Jens Duelund Pallesen, and Jakob Grue Simonsen},
  booktitle = {Proceedings of the 22nd International Conference on Rewriting Techniques and Applications (RTA 2011), Novi Sad, Serbia, May 30 -- June 1},
  doi = {10.4230/LIPIcs.RTA.2011.61},
  editor = {Manfred Schmidt-Schau{\ss}},
  pages = {61--70},
  publisher = {Schloss Dagstuhl},
  series = {Leibniz International Proceedings in Informatics (LIPIcs)},
  title = {{Anagopos: A Reduction Graph Visualizer for Term Rewriting and Lambda Calculus.}},
  volume = {10},
  year = {2011},
}