Alexandre Bouded;Evelyne Contejean
-;-
Rule-Based Constraint Programming
Fundamenta Informaticae
Modeling permutations in CoQ for COCCINELLE
Rewriting Computation and Proof