A functional view of rewriting and strategies for a semantics of ELAN

Peter Borovansky 1 Claude Kirchner Hélène Kirchner
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : In this paper, we consider term rewriting from a functional point of view. A rewrite rule is a function that can be applied to a term using an explicit application function. From this starting point, we show how to define more elaborated functions, describing first rewrite derivations, then sets of derivations. These functions that we call strategies, can themselves be defined by rewrite rules and the construction can be iterated leading to higher order strategies. Furthermore the application function is itself defined using rewriting in the same spirit. We show how this calculus can be defined and we study some of its properties. Its implementation in the ELAN language is used to motivate and exemplify the whole approach.
Type de document :
Communication dans un congrès
The Third Fuji International Symposium on Functional and Logic Programming, 1998, Kyoto (Japan), World Scientific, pp.143-167, 1998
Liste complète des métadonnées

https://hal.inria.fr/inria-00098628
Contributeur : Publications Loria <>
Soumis le : lundi 25 septembre 2006 - 17:04:04
Dernière modification le : jeudi 11 janvier 2018 - 06:19:58

Identifiants

  • HAL Id : inria-00098628, version 1

Collections

Citation

Peter Borovansky, Claude Kirchner, Hélène Kirchner. A functional view of rewriting and strategies for a semantics of ELAN. The Third Fuji International Symposium on Functional and Logic Programming, 1998, Kyoto (Japan), World Scientific, pp.143-167, 1998. 〈inria-00098628〉

Partager

Métriques

Consultations de la notice

74