WANDA – a Higher Order Termination Tool
WANDA – a Higher Order Termination Tool
复制标题
WANDA – 高阶端接工具
DOI：
--
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Cynthia Kop
中科院分区：
文献类型：
--
作者：
Cynthia Kop
Wanda是一款全自动终止分析工具，用于高阶项重写。在本文中，我们将讨论万达所使用的方法论。最相关的是，这包括高阶依赖对框架和高阶递归路径排序的变体，以及一些非终止分析技术和对一阶工具的委托。此外，我们还将讨论Wanda的内部重写形式主义，以及如何在两种不同形式主义的系统实践中使用Wanda。我们还提出了考虑这两种形式主义的实验结果。 2012 ACM 学科分类 计算理论 → 方程逻辑和重写
Wanda is a fully automatic termination analysis tool for higher-order term rewriting. In this paper, we will discuss the methodology used in Wanda . Most pertinently, this includes a higher-order dependency pair framework and a variation of the higher-order recursive path ordering, as well as some non-termination analysis techniques and delegation to a first-order tool. Additionally, we will discuss Wanda ’s internal rewriting formalism, and how to use Wanda in practice for systems in two different formalisms. We also present experimental results that consider both formalisms. 2012 ACM Subject Classification Theory of computation → Equational logic and rewriting
证明高阶重写系统终止的静态依赖对方法
DOI：
--
发表时间：
2007
期刊：
電子情報通信学会技術研究報告(SS2007-61) 107
影响因子：
--
作者：
Kiichirou Kusakari;Yasuo Iso-gai;Masahiko Sakai;Toshiki Sakabe Naoki Nishida
通讯作者：
Toshiki Sakabe Naoki Nishida
简单类型依赖对的参数过滤和可用规则
DOI：
--
发表时间：
2007
期刊：
影响因子：
--
作者：
T. Aoto;T. Yamada
通讯作者：
T. Yamada