This transformation grammar can be used to describe the formal transformation between programming languages and a program transformation algorithm can transform source language programs into object language programs.
This paper presents a new semantic description grammar——thetransformation grammar. This transformation grammar can be used to describe the formal transformation between programming languages. According to this transformation grammar, a program transformation algorithm can transform source language programs into object language programs.