The TAMPR Program Transformation System : Design and Applications

@inproceedings{James1997TheTP,
  title={The TAMPR Program Transformation System : Design and Applications},
  author={M. James and BoyleTechnology and J. Terence and HarmerThe},
  year={1997}
}
  • M. James, BoyleTechnology, +1 author HarmerThe
  • Published 1997
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 eecient programs from speciications. The TAMPR approach to program transformation is distinguished by A restricted repertoire of constructs for expressing transformations; A declarative semantics for transformations; Application of transformations to exhaustion; An emphasis on sequences of canonical forms… CONTINUE READING

References

Publications referenced by this paper.
Showing 1-10 of 11 references

Proving Re nement Transformations Using Extended Denotational Semantics

  • Victor L. Winter, James M. Boyle
  • Proceedings of the Durham Program Transformation…
  • 1996

Harmer , Functional Speci cations for Mathematical Computations , Constructing Programs from Speci cations ,

  • James M. Boyle, J. Terence
  • Proceedings of the IFIP TC 2 / WG 2 . 1 Working…
  • 1991

Abstract Programming and Program Transformation|An Approach to Reusing Programs, Soft- ware Reusability

  • James M. Boyle
  • 1989
2 Excerpts

Deriving Sequential and Paral- lel Programs from Pure LISP Speci cations by Program Transformation

  • James M. Boyle, Kenneth W. Dritz, Monagur M. Muralidharan, Roy Taylor
  • Program Speci cation and Transforma- tion…
  • 1986
1 Excerpt

A Transformational Component for Programming Language Grammar, Report ANL-7690

  • James M. Boyle
  • Argonne National Laboratory, Argonne,
  • 1970
1 Excerpt

Similar Papers

Loading similar papers…