DocumentCode
1535138
Title
A language for specifying program transformations
Author
Hildum, David ; Cohen, Jacques
Author_Institution
Dept. of Comput. & Inf. Sci., Massachusetts Univ., Amherst, MA, USA
Volume
16
Issue
6
fYear
1990
fDate
6/1/1990 12:00:00 AM
Firstpage
630
Lastpage
638
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;
fLanguage
English
Journal_Title
Software Engineering, IEEE Transactions on
Publisher
ieee
ISSN
0098-5589
Type
jour
DOI
10.1109/32.55091
Filename
55091
Link To Document