Environments for Term Rewriting Engines for Free! - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2003

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.

Domains

Other [cs.OH]
No file

Dates and versions

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

Identifiers

  • HAL Id : inria-00099704 , version 1

Cite

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⟩
91 View
0 Download

Share

Gmail Facebook X LinkedIn More