Applications of the TAMPR transformation system

Authors:
T J Harmer;P J McParland;J M Boyle
Affiliations:
School of Information and Software Engineering, University of Ulster at Jordanstown, Newtownabbey, United Kingdom;School of Information and Software Engineering, University of Ulster at Jordanstown, Newtownabbey, United Kingdom;Technology Division, Argonne National Laboratory, Argonne IL
Venue:
IW-FM'98 Proceedings of the 2nd Irish conference on Formal Methods
Year:
1998

Citing 6
Cited 1

Deriving sequential and parallel programs from pure LISP specifications by program transformation

The IFIP TC2/WG 2.1 Working Conference on Program specification and transformation
Abstract programming and program transformation—an approach to reusing programs

Software reusability: vol. 1, concepts and models
The automated transformation of abstract specifications of numerical algorithms into efficient array processor implementations

Science of Computer Programming
The Construction of Numerical Mathematical Software for the AMT DAP by Program Transformation

CONPAR '92/ VAPP V Proceedings of the Second Joint International Conference on Vector and Parallel Processing: Parallel Processing
Automatic, Self-adaptive Control and Unfold Transformations

PROCOMET '94 Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi
Proving refinement transformations for deriving high-assurance software

HASE '96 Proceedings of the 1996 High-Assurance Systems Engineering Workshop

Automated mass maintenance of a software portfolio

Science of Computer Programming - Special issue on source code analysis and manipulation (SCAM 2005)

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we present an overview of the uses of the TAMPR transformation system and present experience with using transformation in industrial applications. TAMPR is a fully automatic, rewrite-rule based program transformation system. From its initial implementation in 1970, TAMPR has evolved into a powerful tool for generating correct and efficient programs from specifications. The specification and transformation community has long claimed that program transformation and specification provides a powerful, labour-saving means of developing efficient and correct programs. What is the evidence for this statement? We present experience with using TAMPR transformation in applications which range from efficient implementation of numerical mathematical algorithms to interlanguage transformation and the Year 2000 problem.