Program refinement by transformation

  title={Program refinement by transformation},
  author={Thomas E. Cheatham and Glenn H. Holloway and Judy A. Townley},
  booktitle={ICSE '81},
Program maintenance is simplified when the program to be modified can be viewed as an abstract algorithm to which clearly documented implementation decisions have been applied to produce an efficient realization. The Harvard Program Development System (PDS) [8] is a programming support environment that encourages users to take this view of programs. A user of the PDS creates transformations that incorporate implementation choices, and the system uses these transformations to refine concrete… CONTINUE READING

Similar Papers