Environments for Term Rewriting Engines for Free!

Abstract : Term rewriting can only be applied if practical implementations of term rewriting engines exist. New rewriting engines are designed and implemented either to experiment with new (theoretical) results or to be able to tackle new application areas. In this paper we present the Meta-Environment: an environment for rapidly implementing the syntax and semantics of term rewriting based formalisms. We provide not only the basic building blocks, but complete interactive programming environments that only need to be instantiated by the details of a new formalism.
Type de document :
Communication dans un congrès
Robert Nieuwenhuis. International Conference on Rewriting Techniques and Applications - RTA'2003, Jun 2003, Valence, Espagne, Springer, 2706, pp.424-435, 2003, Lecture notes in Computer Science
Liste complète des métadonnées

https://hal.inria.fr/inria-00099704
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 09:40:29
Dernière modification le : jeudi 11 janvier 2018 - 06:19:58

Identifiants

  • HAL Id : inria-00099704, version 1

Collections

Citation

Mark G. J. Van den Brand, Pierre-Etienne Moreau, Jurgen Vinju. Environments for Term Rewriting Engines for Free!. Robert Nieuwenhuis. International Conference on Rewriting Techniques and Applications - RTA'2003, Jun 2003, Valence, Espagne, Springer, 2706, pp.424-435, 2003, Lecture notes in Computer Science. 〈inria-00099704〉

Partager

Métriques

Consultations de la notice

95