CSI - A Confluence Tool

CSI - A Confluence Tool
复制标题

CSI - 融合工具

DOI：
10.1007/978-3-642-22438-6_38
复制
发表时间：
2011
期刊：
--
影响因子：
--
通讯作者：
A. Middeldorp
A. Middeldorp
中科院分区：
--
文献类型：
--
作者：
Harald Zankl;Bertram Felgenhauer;A. Middeldorp

文献摘要

被引文献

相似文献

本文介绍了一种新的用于术语重写系统的合流工具。由于其模块化设计，迄今为止实施的少数技术可以灵活地组合在一起。为终止分析开发的方法适用于证明和反驳合流。初步实验结果显示了该工具的潜力。
This paper describes a new confluence tool for term rewrite systems. Due to its modular design, the few techniques implemented so far can be combined flexibly. Methods developed for termination analysis are adapted to prove and disprove confluence. Preliminary experimental results show the potential of our tool.