Modeling Permutations in Coq for Coccinelle

DOI10.1007/978-3-540-73147-4_13zbMath1186.68429OpenAlexW1490766367MaRDI QIDQ3608821

Evelyne Contejean

Publication date: 6 March 2009

Published in: Rewriting, Computation and Proof (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73147-4_13

Mathematics Subject Classification ID

Related Items (2)

Certifying a Termination Criterion Based on Graphs, without Graphs ⋮ Coccinelle

Uses Software

• Coq
• CoLoR

This page was built for publication: Modeling Permutations in Coq for Coccinelle