A3PAT, an Approach for Certified Automated Termination Proofs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

É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,

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

runs on WebDSL