Author(s)
The CIAO Multi-Dialect Compiler and System: a Demo and Status Report
Abstract
CIAO is a programming environment supporting several flavours of Logic and Constraint programming
which allows concurrent and distributed programming, and transparently exploits parallelism in
programs. The purpose of this paper (and demo) is to report on recent progress made in the context of
the CIAO system, with special emphasis on the capabilities of the compiler, the techniques used for
supporting such capabilities, and the results in the areas of program analysis and transformation
already obtained with the system.
Accepted Papers