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

Revision: r1.1 - 06 May 2001 - 23:28 - EelcoVisser
Transform > TAMPR
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback