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

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].


68Q42 Grammars and rewriting systems
68R10 Graph theory (including graph drawing) in computer science
Full Text: DOI Link