Strategic Rewriting

Claude Kirchner 1
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/inria-00107802
Contributor : Publications Loria <>
Submitted on : Thursday, October 19, 2006 - 9:09:59 AM
Last modification on : Thursday, January 11, 2018 - 6:19:57 AM
Long-term archiving on : Wednesday, March 29, 2017 - 1:22:29 PM

Identifiers

  • HAL Id : inria-00107802, version 1

Collections

Citation

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

Share

Metrics

Record views

132

Files downloads

60