Translating Java Code to Graph Transformation Systems

We propose a faithful encoding of Java programs (written in a suitable fragment of the language) to Graph Transformation Systems. Every program is translated to a set of rules including some basic rules, common to all programs and providing the operational semantics of Java (data and control) operators, and the program specific rules, namely one rule for each method or constructor declared in the program. Besides sketching some potential applications of the proposed translation, we discuss some desing choices that ensure its correctness, and we report on how do we intend to extend it in order to handle several other features of the Java language.

• Type: Conference
• Year: 2004
• Where: GG
• Authors: Andrea Corradini, Fernando Luís Dotti, Luciana Foss, Leila Ribeiro
• Keywords: Faithful Encoding, GG 2004, Program Specific Rules, Suitable Fragment, Theoretical Computer Science