- Previous Labs
Contact: Tobias, Günter
The following tutorial introduces logic-based representation for programs and models, the concept of logic-based Conditional Transformations (CTs) and the JTransformer system, which implements these ideas for Java. It will demonstrate a typical analysis scenario (design pattern detection) and a typical transformation scenario (implementation of own refactorings).
The rest of the Java 5 features like enumerations, the for each construct and annotations fine.
[PEF = Program-Element-Fact. This is our name for the representation of a program element as a logic fact.]