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

10/10/2018
by   Matt Kaufmann, et al.
0

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

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset