Name
Abstract | ||
|---|---|---|
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. |
Year | DOI | Venue |
|---|---|---|
2011 | 10.4230/LIPIcs.RTA.2011.61 | Leibniz International Proceedings in Informatics |
Keywords | Field | DocType |
term rewriting,lambda calculus,reduction graphs,visualization | Graph drawing,Graph,Discrete mathematics,Lambda calculus,Algebra,Visualization,Computer science,Algorithm,Graph rewriting,Rewriting | Conference |
Volume | ISSN | Citations |
10 | 1868-8969 | 1 |
PageRank | References | Authors |
0.38 | 16 | 4 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Niels Bjørn Bugge Grathwohl | 1 | 11 | 2.21 |
| Jeroen Ketema | 2 | 160 | 13.52 |
| Jens Duelund Pallesen | 3 | 1 | 0.38 |
| Jakob Grue Simonsen | 4 | 317 | 44.16 |