A Language for Specifying Java Transformations
Fernando Castor, Paulo Henrique Monteiro Borba · 2001
In this paper we present JaTS, a language for specifying transformations for Java programs. The main feature of the language is the similarity of its syntax to the syntax of Java, decreasing the semantic gap between the transformation language and the language being transformed. This feature helps developers already used to the syntax of Java to quickly adapt to the syntax of JaTS. We begin by presenting the syntax and informal semantics of JaTS, specifying some key aspects of the semantics formally. Next, we evaluate the expressive power of the language, comparing it with other languages for specifying program transformations. Resumo Neste trabalho ns apresentamos JaTS, uma linguagem para especificar transformaes para programas escritos em Java. A principal caracterstica dessa linguagem a proximidade da sua sintaxe com a de Java, diminuindo o gap semntico entre a linguagem de transformao e a linguagem transformada. Essa caracterstica proporciona a desenvolvedores j habituados com a sintaxe de Java uma rpida adaptao sintaxe de JaTS. Comeamos apresentando a sintaxe e a semntica informal de JaTS, especificando alguns aspectos chave dessa semntica formalmente. Em seguida, avaliamos o poder expressivo da linguagem, comparando-a com outras linguagens para especificar transformaes. 1.