Transformation System Taxonomy

Program-Transformation.Org: The Program Transformation Wiki
There are many TransformationSystems available. This page contains an ordering of these systems by paradigm.

TermRewriting

Systems based on pure TermRewriting define a set of (conditional) equations over terms in an algebraic signature.

Term rewriting with RewritingStrategies

The transformation tools in XT are largely based on RewritingStrategies.

Rewriting with reflection

  • MaudeLanguage?

Bottom-up rewriting

Other systems based on rewriting

  • TAMPR
  • MAG
  • DMS%20Toolkit (full AC matching)

TreeRewriting

TreeRewriting is term rewriting extended to allow rewriting of arbtrary syntactic forms specified using a context-free grammar.

  • TXL (Tree Transformation Language)

GraphRewriting

FunctionalTransformation

Using a functional language to implement transformations.

ObjectOrientedTransformation

Logic Programming

AttributeGrammar

AspectOrientedProgramming

Procedural Transformation

  • DMS%20Toolkit

Other

The following systems have not been classified, yet.