Évelyne Contejean, Pierre Courtieu, Julien Forest, Andrei Paskevich, Olivier Pons, Xavier Urbain. A3PAT, an Approach for Certified Automated Termination Proofs. In John P. Gallagher, Janis Voigtländer, editors, Proceedings of the ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation. ACM,
No reviews for this publication, yet.