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

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

Descripción

Título: The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems
Autor/es:
  • 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
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: APPIA-GULP-PRODE'96 JOINT CONFERENCE ON DECLARATIVE PROGRAMMING
Fechas del Evento: July 15 - 18, 1996
Lugar del Evento: Donostia-San Sebastian, Spain
Título del Libro: Proceedings of the AGP'96 Joint conference on Declarative Programming
Fecha: 1996
Materias:
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Inteligencia Artificial
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (1MB) | Vista Previa

Resumen

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.

Más información

ID de Registro: 14666
Identificador DC: http://oa.upm.es/14666/
Identificador OAI: oai:oa.upm.es:14666
URL Oficial: http://www.math.unipr.it/~gianfr/COMMITTEE/GULP-PRODE%2796.cfp
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 21 Mar 2013 08:36
Ultima Modificación: 21 Abr 2016 14:26
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM