×

Anagopos:用于术语重写和lambda演算的约简图形可视化工具。 (英语) Zbl 1236.68123号

Schmid-Schauß,Manfred(编辑),第22届改写技术和应用国际会议(RTA 2011),塞尔维亚诺维萨德,2011年5月30日至6月1日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-30-9)。LIPIcs–莱布尼茨国际信息学会议录10,61-70,仅电子版(2011年)。
摘要:我们介绍了Anagopos,这是一个开源工具,用于可视化lambda演算中的术语约简图和术语重写。Anagopos允许在六种不同的图形绘制算法下逐步生成约简图。我们提供了使用该工具绘制图形的示例。
关于整个系列,请参见[Zbl 1235.68033号].

MSC公司:

2012年第68季度 语法和重写系统
68兰特 计算机科学中的图论(包括图形绘制)
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接