Towards Rewriting in Coq

elle Gnaedig, H´el`ene Kirchner: Narrowing abstraction and constraints for proving properties of reduction relations 12:30- 14:00 Lunch break 14:00- 15: 50. Session 3 • Paul Brauner, Cl´ement Houtmann, Claude Kirchner: Superdeduction at work • Jacek Chrzaszcz, Daria Walukiewicz: Towards rewriting in Coq • Evelyne Contejean: Modeling Permutations in COQ with Coccinelle 15:50- 16:20 Coffee break 1 

• Type: Conference
• Year: 2007
• Where: BIRTHDAY
• Authors: Jacek Chrzaszcz, Daria Walukiewicz-Chrzaszcz
• Keywords: Applied Computing, BIRTHDAY 2007, Claude Kirchner, H´el`ene Kirchner, Lunch Break