The CIAO Multi-Dialect Compiler and System: a Demo and Status Report

M. Hermenegildo
CLIP Group
Facultad de Informatica
Universidad Politecnica de Madrid
28660 - Boadilla del Monte, Madrid

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.

Download Complete Paper

Accepted Papers