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

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

Leibniz International Proceedings in Informatics（2011）

引用 4|浏览12

暂无评分

摘要

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.

查看译文

关键词

term rewriting,lambda calculus,reduction graphs,visualization

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要