The CTC is the language-independent Core of a system for analysing, composing and executing Conditional Transformations. Conditional Transformations (CTs) are a logic-based language and formalism for expressing arbitrary software transformations guarded by arbitrarily complex prior analyses.
CTs provide a theoretical and practical basis for model transformations and model driven engineering. Compared to other model transformation approaches CTs provide a unique combination of features. CTs are:
This unique feature set offers programmers some added benefits in terms of productivity: