PEPM   2010 ACM/SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation
Wall of Fame | Most Viewed PEPM-2010 Paper
9 years 3 days ago
A3PAT, an approach for certified automated termination proofs
Software engineering, automated reasoning, rule-based programming or specifications often use rewriting systems for which termination, among other properties, may have to be ensur...
Evelyne Contejean, Andrey Paskevich, Xavier Urbain...
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
1Download preprint from source234
2Download preprint from source210
3Download preprint from source210
4Download preprint from source194
5Download preprint from source177
6Download preprint from source170
7Download preprint from source147
8Download preprint from source140
9Download preprint from source135
10Download preprint from source131
11Download preprint from source131