Parallelism and implementation of logic and constraint logic programming

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

Description

Title: Parallelism and implementation of logic and constraint logic programming
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
Editor/s:
  • De Castro Dutra, Ines
  • Santos Costa, Vitor
  • Gupta, Gopal
  • Pontelli, Enrico
  • Silva, Fernando
  • Carro Liñares, Manuel
Item Type: Book Section
Title of Book: Parallelism and Implementation of Logic and Constraint Logic Programming
Date: April 1999
ISBN: 9781560726739
Subjects:
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img] PDF - Users in campus UPM only - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB)

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: 14574
DC Identifier: http://oa.upm.es/14574/
OAI Identifier: oai:oa.upm.es:14574
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 01 Mar 2013 07:46
Last Modified: 22 Sep 2014 11:04
  • 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