swMATH ID: 17745
Software Authors: Bugge Grathwohl, Niels Bjørn; Ketema, Jeroen; Pallesen, Jens Duelund; Simonsen, Jakob Grue
Description: 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.
Homepage: https://github.com/jeroenk/Anagopos3D
Source Code:  https://github.com/jeroenk/Anagopos3D
Keywords: term rewriting; lambda calculus; reduction graphs; visualization
Related Software: TILC; Tulip; Graphviz
Cited in: 1 Document

Cited in 0 Serials

Citations by Year