Return to CLIP Main Page

Compiler Issues: Transformations/Optimizations

• Examples of transformations/techniques used:
  • Supporting CLP via attributed variables.
  • Distributed execution on standard CLP/LP.
  • Supporting CC on standard CLP/LP systems (with delay).
  • Supporting the Andorra model in CLP/LP systems.
  • Functions/higher order.
• Analyses used / characteristics:
  • Top-down framework with efficient dynamic fixpoint (PLAI).
  • Modes, types, sharing (aliasing), independence, etc.
  • Several domains over Herbrand: SH, SH+FR, ASub, SH+ASub, SH+FR+ASub, Path, Types, ...
  • Over constraints: Def, Fr, FD, LSign, DiffLSign, ...
  • Support for dynamic scheduling (concurrency).
  • Support for incremental analysis.
  • Support for full languages (e.g., ISO-prolog).
  • Cost analysis (upper and lower bounds).
• Examples of optimizations performed:
  • Compile-time elim. of run-time tests via (abstract) PE.
  • Multiple (abstract) specialization (e.g., loop invariants).
  • LP/CLP/CC parallelization.
  • Optim. of synchronization / sched. anal. (for delays and CC).
  • Goal and constraint reordering (optimization of search).
  • Granularity control.