On transformations of programs

  • Authors:

  • Richard Bird

  • Affiliations:

  • -

  • Venue:
  • Journal of Computer and System Sciences
  • Year:
  • 1974

Quantified Score

Hi-index 0.00

Visualization

Abstract

A treatment is given of a class of program transformations @S with the property that for each program P, both P and @S(P) compute the same function. Many transformations encountered in the theory of computation can be shown to be in the class and, hence, formally proved to preserve equivalence. As an example, the theory is applied to the proof of a speed up theorem in computational complexity.