Parallelism and implementation of logic and constraint logic programming

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 (1999). Parallelism and implementation of logic and constraint logic programming. En: "Parallelism and Implementation of Logic and Constraint Logic Programming". Nova Science, Commack, New York, USA, pp. 65-85. ISBN 9781560726739.

Descripción

Título: Parallelism and implementation of logic and constraint logic programming
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
Editor/es:
  • De Castro Dutra, Ines
  • Santos Costa, Vitor
  • Gupta, Gopal
  • Pontelli, Enrico
  • Silva, Fernando
  • Carro Liñares, Manuel
Tipo de Documento: Sección de Libro
Título del Libro: Parallelism and Implementation of Logic and Constraint Logic Programming
Fecha: Abril 1999
ISBN: 9781560726739
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] PDF (Document Portable Format) - Acceso permitido solamente a usuarios en el campus de la UPM - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (1MB)

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: 14574
Identificador DC: http://oa.upm.es/14574/
Identificador OAI: oai:oa.upm.es:14574
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 01 Mar 2013 07:46
Ultima Modificación: 22 Sep 2014 11:04
  • 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