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.

, , ,
CWI
Software Engineering [SEN]
Software Analysis and Transformation

van den Brand, M., Moreau, P.-E., & Vinju, J. (2003). Environments for term rewriting engines for free!. Software Engineering [SEN]. CWI.