GenTL: Language Concepts

Program Analysis with Predicates

Here, we introduce our combination of logic-based program analysis with concrete syntax patterns. The relevant concepts are illustrated using Java as source and target language.

→ Read more...

Conditional Transformations

Conditional transformations leverage on the power of logic meta-programming by using the same representation of programs a clauses and expressing program analyses as predicates. However, conditional transformation provide an own abstraction for the interplay of analyses and transformations.

→ Read more...

Last modified: 2017/08/31 20:06
*