A3PAT, an approach for certified automated termination proofs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Evelyne Contejean' in GoogleThis author has not been identified. Look up 'Andrey Paskevich' in GoogleThis author has not been identified. Look up 'Xavier Urbain' in GoogleThis author has not been identified. Look up 'Pierre Courtieu' in GoogleThis author has not been identified. Look up 'Olivier Pons' in GoogleThis author has not been identified. Look up 'Julien Forest' in Google

runs on WebDSL