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]
@inproceedings{ContejeanPUCPF10,
title = {A3PAT, an approach for certified automated termination proofs},
author = {Evelyne Contejean and Andrey Paskevich and Xavier Urbain and Pierre Courtieu and Olivier Pons and Julien Forest},
year = {2010},
doi = {10.1145/1706356.1706370},
url = {http://doi.acm.org/10.1145/1706356.1706370},
tags = {termination, systematic-approach},
researchr = {https://researchr.org/publication/ContejeanPUCPF10},
cites = {0},
citedby = {0},
pages = {63-72},
booktitle = {Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010, Madrid, Spain, January 18-19, 2010},
editor = {John P. Gallagher and Janis Voigtländer},
publisher = {ACM},
isbn = {978-1-60558-727-1},
}