Program transformation



Journal Title

Journal ISSN

Volume Title



There is increasing interest recently in the area of program transformation. It is shown in various scientific journals. In this thesis, three types of program transformation are identified : equivalent transformation, non-equivalent transformation and program translation. Equivalent transformation are analyzed on the example of the program formatting and program optimization. Non-equivalent transformations are applied for inserting, deleting and restructuring the program. Translation between two higher level programming languages are described as an example of program transformation. The system for program transformation based on transformation rules is proposed. Methods of specification of the syntax of the language are analyzed. Language of rules is discussed. The rules for translation from Pascal to Lisp are shown. The description of the data structure as well as the basic modules of the system implemented on VAX 11/780 computer is given.



Translators (Computer programs), Compiling (Electronic computers)