DefunT: A Tool for Automating Termination Proofs by Using the Community Books (Extended Abstract)

CoRR Pub Date : 2018-10-10 DOI:10.4204/EPTCS.280.12

Matt Kaufmann

引用次数: 2

Abstract

We present a tool that automates termination proofs for recursive definitions by mining existing termination theorems.

查看原文本刊更多论文

DefunT:一个使用社区图书自动终止证明的工具(扩展摘要)

我们提出了一个工具，通过挖掘现有的终止定理来自动化递归定义的终止证明。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

CoRR

自引率

0.00%

发文量