A3PAT, an approach for certified automated termination proofs

Evelyne Contejean, Andrey Paskevich, Xavier Urbain, Pierre Courtieu, Olivier Pons, Julien Forest. A3PAT, an approach for certified automated termination proofs. In John P. Gallagher, Janis Voigtländer, editors, Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010, Madrid, Spain, January 18-19, 2010. pages 63-72, ACM, 2010. [doi]

No reviews for this publication, yet.