The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems

Hermenegildo, Manuel V. and Bueno Carrillo, Francisco and Cabeza Gras, Daniel and Carro Liñares, Manuel and García de la Banda, M. and López García, Pedro and Puebla Sánchez, Alvaro Germán (1996). The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. In: "APPIA-GULP-PRODE'96 JOINT CONFERENCE ON DECLARATIVE PROGRAMMING", July 15 - 18, 1996, Donostia-San Sebastian, Spain.

Description

Title: The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems
Author/s:
  • Hermenegildo, Manuel V.
  • Bueno Carrillo, Francisco
  • Cabeza Gras, Daniel
  • Carro Liñares, Manuel
  • García de la Banda, M.
  • López García, Pedro
  • Puebla Sánchez, Alvaro Germán
Item Type: Presentation at Congress or Conference (Article)
Event Title: APPIA-GULP-PRODE'96 JOINT CONFERENCE ON DECLARATIVE PROGRAMMING
Event Dates: July 15 - 18, 1996
Event Location: Donostia-San Sebastian, Spain
Title of Book: Proceedings of the AGP'96 Joint conference on Declarative Programming
Date: 1996
Subjects:
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[thumbnail of HERME_REFWORKS_1996-5.pdf]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB) | Preview

Abstract

CIAO is an advanced programming environment supporting Logic and Constraint programming. It offers a simple concurrent kernel on top of which declarative and non-declarative extensions are added via librarles. Librarles are available for supporting the ISOProlog standard, several constraint domains, functional and higher order programming, concurrent and distributed programming, internet programming, and others. The source language allows declaring properties of predicates via assertions, including types and modes. Such properties are checked at compile-time or at run-time. The compiler and system architecture are designed to natively support modular global analysis, with the two objectives of proving properties in assertions and performing program optimizations, including transparently exploiting parallelism in programs. The purpose of this paper 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 áreas of program analysis and transformation already obtained with the system.

More information

Item ID: 14666
DC Identifier: https://oa.upm.es/14666/
OAI Identifier: oai:oa.upm.es:14666
Official URL: http://www.math.unipr.it/~gianfr/COMMITTEE/GULP-PR...
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 21 Mar 2013 08:36
Last Modified: 27 Feb 2023 11:27
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM