Anagopos: a reduction graph visualizer for term rewriting and lambda calculus. (English) Zbl 1236.68123

Bugge Grathwohl, Niels Bjørn; Ketema, Jeroen; Pallesen, Jens Duelund; Simonsen, Jakob Grue

Schmid-Schauß, Manfred (ed.), 22nd international conference on rewriting techniques and applications (RTA 2011), Novi Sad, Serbia, May 30 – June 1, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-30-9). LIPIcs – Leibniz International Proceedings in Informatics 10, 61-70, electronic only (2011).

Summary: 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.
For the entire collection see [Zbl 1235.68033].

MSC:

68Q42	Grammars and rewriting systems
68R10	Graph theory (including graph drawing) in computer science

Keywords:

term rewriting; lambda calculus; reduction graphs; visualization

Software:

Tulip; Graphviz; Anagopos; TILC