Strategic Rewriting

Claude Kirchner (1)

1 PROTHEO - Constraints, automatic deduction and software properties proofs

This is a position paper preparing the round table organized during the 4th International Workshop on Reduction Strategies in Rewriting and Programming. I sketch what I believe to be important challenges of strategic rewriting.

Mots clés: tactic; rewriting calculus; rule based language; strategy; programmation par règle; stratégie; tactique

Domaines: Autre [cs.OH]

Claude Kirchner. Strategic Rewriting. 4th International Workshop on Reduction Strategies in Rewriting and Programming - WRS'2004, 2004, Aachen, Germany. ⟨inria-00107802⟩