Program Transformation Tools

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:

• TransformationRules
• TransformationStrategies
• TreeTraversals^?

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

• ProgramRepresentation
• VariableBinding^?
• ToolInterface^?
• ToolComposition^?
• ExchangeFormats

See also

• TransformationSystems: a list of tools for program transformation
• XT: a bundle of ProgramTransformationTools