The TAMPR Program Transformation System: Design and Applications (1997)
| Venue: | Modern Software Tools for Scientific Computing, Birkhauser |
| Citations: | 7 - 0 self |
BibTeX
@INPROCEEDINGS{Boyle97thetampr,
author = {James Boyle and Terence J. Harmer and Victor L. Winter},
title = {The TAMPR Program Transformation System: Design and Applications},
booktitle = {Modern Software Tools for Scientific Computing, Birkhauser},
year = {1997},
pages = {.}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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 TAMPR approach to program transformation is distinguished by ffl A restricted repertoire of constructs for expressing transformations; ffl A declarative semantics for transformations; ffl Application of transformations to exhaustion; ffl An emphasis on sequences of canonical forms; ffl Completely automatic operation; and ffl The ability to effortlessly "replay" the application of transformations. We describe some of the applications of the TAMPR system, to document the power and practicality of its approach. We then discuss the TAMPR approach to program transformation. This approach manifests itself in TAMPR's high-level language for expressing transformations; we discuss some aspects of both the design of this language and the philosophy of transformatio...
