TAMPR

Program-Transformation.Org: The Program Transformation Wiki
TAMPR (Transformation Assisted Multiple Program Realisation System) is one of the earliest TransformationSystems around.

Description

TAMPR supports program transformation by means of rewrite rules. A set of rewrite rules is used to transform the abstract syntax tree of a program to canonical form by exhaustive application. A number of such canonicalizations can be combined by sequential composition. This sequential composition provides a simple mechanism for control over the application of rules.

The system has been applied to the derivation of a number of numerical software packages, including LINPACK.

Availability

There do not seem to be any online distributions or webpage for the system.

Papers

  • J. M. Boyle, T. J. Harmer and V. L. Winter. TheTAMPRProgramTransformationSystem: Simplifying the Development of Numerical Software. In E. Arge, A.M. Bruaset and H.P. Langtangen (eds.) Modern Software Tools in Scientific Computing pp 353-372, Birkhäuser, 1997. ISBN 0-8176-3974-8 or ISBN 3-7643-3974-8.

  • Stephen Fitzpatrick, Terence J. Harmer, Alan Stewart, Maurice Clint, and James M. Boyle. The automated transformation of abstract specifications of numerical algorithms into efficient array processor implementations. Science of Computer Programming, 28(1):1-41, January 1997.

  • James M. Boyle and Terence J. Harmer. A practical functional program for the CRAY X-MP. Journal of Functional Programming, 2(1):81-126, January 1992.

People


CategorySystem | Contributions by EelcoVisser