Environments for Term Rewriting Engines for Free! - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2003

Environments for Term Rewriting Engines for Free!

Résumé

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.

Domaines

Autre [cs.OH]
Fichier non déposé

Dates et versions

inria-00099704 , version 1 (26-09-2006)

Identifiants

  • HAL Id : inria-00099704 , version 1

Citer

Mark G. J. van den Brand, Pierre-Etienne Moreau, Jurgen Vinju. Environments for Term Rewriting Engines for Free!. International Conference on Rewriting Techniques and Applications - RTA'2003, Jun 2003, Valence, Espagne, pp.424-435. ⟨inria-00099704⟩
90 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More