Title :
A language for specifying program transformations
Author :
Hildum, David ; Cohen, Jacques
Author_Institution :
Dept. of Comput. & Inf. Sci., Massachusetts Univ., Amherst, MA, USA
fDate :
6/1/1990 12:00:00 AM
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
Keywords :
specification languages; Prolog; language constructs; program transformations; specification language; Assembly; Computer languages; Data analysis; Formal specifications; Pattern matching; Performance analysis; Prototypes; Specification languages;
Journal_Title :
Software Engineering, IEEE Transactions on
