Compiler Issues: Transformations/Optimizations
WS Presentations Main Page
Next: Some Basic Control-Related
Up: Document: ciao
Previous: The CIAO Compiler
- 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...
Thu Jan 18 11:29:48 MET 1996 <herme@fi.upm.es>-<webmaster@clip.dia.fi.upm.es>