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
Last modified: 2017/08/30 05:10
*