DefunT: A Tool for Automating Termination Proofs by Using the Community Books (Extended Abstract)
Abstract
We present a tool that automates termination proofs for recursive definitions by mining existing termination theorems.
- Publication:
-
arXiv e-prints
- Pub Date:
- October 2018
- DOI:
- 10.48550/arXiv.1810.05666
- arXiv:
- arXiv:1810.05666
- Bibcode:
- 2018arXiv181005666K
- Keywords:
-
- Computer Science - Logic in Computer Science
- E-Print:
- In Proceedings ACL2 2018, arXiv:1810.03762