DMCA

A3PAT, an Approach for Certified Automated Termination Proofs (2010)

by Évelyne Contejean , Andrei Paskevich , Xavier Urbain , Pierre Courtieu , Olivier Pons , Julien Forest
Venue:In ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 10
Citations:14 - 1 self