A Transformation System for Developing Recursive Programs
Journal of the ACM (JACM)
Program Improvement by Source-to-Source Transformation
Journal of the ACM (JACM)
Syntactic source to source transforms and program manipulation
Communications of the ACM
Communications of the ACM
Correctness-preserving program transformations
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Structured Programming; Theory and Practice the Systems Programming Series
Structured Programming; Theory and Practice the Systems Programming Series
A system for program refinement
ICSE '79 Proceedings of the 4th international conference on Software engineering
Programming as an evolutionary process
ICSE '76 Proceedings of the 2nd international conference on Software engineering
On the Transformational Implementation approach to programming
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Power, efficiency, and correctness of transformation systems.
Power, efficiency, and correctness of transformation systems.
Report on the programming language Euclid
ACM SIGPLAN Notices
SIMULA 67 common base language, (Norwegian Computing Center. Publication)
SIMULA 67 common base language, (Norwegian Computing Center. Publication)
Mechanical translation of set theoretic problem specifications into efficient RAM code-A case study
Journal of Symbolic Computation
Models of software development environments
ICSE '88 Proceedings of the 10th international conference on Software engineering
ICSE '88 Proceedings of the 10th international conference on Software engineering
Models of Software Development Environments
IEEE Transactions on Software Engineering
Communications of the ACM
Program Transformation Systems
ACM Computing Surveys (CSUR)
Program developments: formal explanations of implementations
Communications of the ACM
Transformational programming: applications to algorithms and systems
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The data transform programming method: An example for file processing problems
ICSE '84 Proceedings of the 7th international conference on Software engineering
DUAL: An interactive tool for developing documented programs by step-wise refinements.
ICSE '82 Proceedings of the 6th international conference on Software engineering
A formal representation for plans in the programmer's apprentice
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 2
| Hi-index | 0.03 |
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 programs from their abstract counterparts. In addition to simplifying maintenance, this method supports the use of notational extensions and the development of program families. We describe the transformation facilities available to the user of the PDS, and we discuss aspects of the implementation of these facilities.