A Language for Specifying Program Transformations

Authors:
David Hildum;Jacques Cohen
Affiliations:
Univ. of Massachusetts, Amherst;Brandeis Univ., Waltham, MA
Venue:
IEEE Transactions on Software Engineering
Year:
1990

Citing 10
Cited 1

Programming in Prolog (2nd ed.)

Programming in Prolog (2nd ed.)
Compilers: principles, techniques, and tools

Compilers: principles, techniques, and tools
Parsing and compiling using Prolog

ACM Transactions on Programming Languages and Systems (TOPLAS)
Program Improvement by Source-to-Source Transformation

Journal of the ACM (JACM)
Program Transformation Systems

ACM Computing Surveys (CSUR)
Automatic Derivation of Code Generators from Machine Descriptions

ACM Transactions on Programming Languages and Systems (TOPLAS)
Using Peephole Optimization on Intermediate Code

ACM Transactions on Programming Languages and Systems (TOPLAS)
Computer-assisted microanalysis of programs

Communications of the ACM
Peephole optimization

Communications of the ACM
Program manipulation via an efficient production system

Proceedings of the 1977 symposium on Artificial intelligence and programming languages

Program transformations for information personalization

Computer Languages, Systems and Structures

Quantified Score

Hi-index	0.00

Visualization

Abstract

A language is described for specifying program transformations, from which programs can be generated to perform the transformations on sequences of code. The main objective of this work has been to develop a language that would allow the user to quickly and easily specify a wide range of transformations for a variety of programming languages. The rationale for the language constructs is given, as well as the details of an implementation which was prototyped using Prolog. Numerous examples of the language usage are provided.