Compiler Issues: Transformations/Optimizations

• Examples of transformations/techniques used:
  • Supporting CC on standard CLP/LP systems (with delay).
  • Supporting the Andorra model in CLP/LP systems.
  • Distributed execution on standard CLP/LP.
  • Deep guard support, etc.
  • Supporting CLP via attributed variables.
  • AKL: Efficient CLP to AKL transformation.

• Examples of optimizations used:
  • Compile-time elimination of run-time tests.
  • Partial evaluation / Multiple specialization.
  • LP/CLP parallelization.
  • Elimination of synchronization / schedule analysis
    (delays and CC).
  • Goal and constraint reordering.
  • Granularity control.

• Examples of analyses used:
  • Framework for sequential and dynamically scheduled programs.
  • Several domains over Herbrand: SH, SH+FR, ASub, SH+ASub, and SH+FR+ASub.
  • Several domains over constraints: Def, Fr, Fd, and LSign.
  • Support for full ISO-prolog.

• Quite a number of results obtained already...