Full text
Preview |
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB) | Preview |
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.
Title: | The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems |
---|---|
Author/s: |
|
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 |
Preview |
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB) | Preview |
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.
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 |