Program Transformation Tools

Program-Transformation.Org: The Program Transformation Wiki
Description

This page discusses terminology, principles, and issues concerning tools for ProgramTransformation.

Principles

ProgramTransformationTools have much in common. Here is a list of features that are supported by all or some tools:

Components

A ProgramTransformationSystem? is usually composed of a number of components. Typical components are

  • ProgramParser?
  • PrettyPrinter?
  • ProgramTransformer?
  • ProgramAnalyzer?
  • FormatChecker?
  • ProgramTypeChecker?

A collection of such components for a language is called a TransformationFramework.

Issues

See also