Issue No. 06 - June (1990 vol. 16)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.55091
<p>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.</p>
specification language; program transformations; language constructs; Prolog; specification languages.
J. Cohen and D. Hildum, "A Language for Specifying Program Transformations," in IEEE Transactions on Software Engineering, vol. 16, no. , pp. 630-638, 1990.