SE & SDA Wiki

Software Engineering for Smart Data Analytics & Smart Data Analytics for Software Engineering

User Tools

Site Tools


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.

A conditional transformation (CT) is a pair consisting of a precondition C and a transformation T. The precondition can be any logic query that performs no side-effects – in particular no modification of the set of clauses. The transformation is a sequence of the following basic actions:

  • skip does nothing
  • add adds a new clause
  • delete deletes a clause
  • replace replaces a clause with another one
research/gentl/concepts/ct.txt · Last modified: 2018/05/09 01:59 (external edit)

SEWiki, © 2018