Full text
Preview |
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (700kB) | Preview |
Puebla Sánchez, Alvaro Germán and Hermenegildo, Manuel V. (1995). Specialization and optimization of constraint programs with dynamic scheduling. Monografía (Working Paper). Facultad de Informática (UPM), Madrid, Spain.
Title: | Specialization and optimization of constraint programs with dynamic scheduling |
---|---|
Author/s: |
|
Item Type: | Monograph (Working Paper) |
Date: | September 1995 |
Subjects: | |
Freetext Keywords: | Abstract interpretation, Logic programming, Constraint logic programming, Compile-time analysis, Multiple program specialization, Optimization, Program specialization, Interpretación abstracta, Programación lógica, Programación lógica restringida, Especialización en programación múltiple, Optimización, Programación especializada. |
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 (700kB) | Preview |
In this report we discuss some of the issues involved in the specialization and optimization of constraint logic programs with dynamic scheduling. Dynamic scheduling, as any other form of concurrency, increases the expressive power of constraint logic programs, but also introduces run-time overhead. The objective of the specialization and optimization is to reduce as much as possible such overhead automatically, while preserving the semantics of the original programs. This is done by program transformation based on global analysis. We present implementation techniques for this purpose and report on experimental results obtained from an implementation of the techniques in the context of the CIAO compiler.
Item ID: | 15060 |
---|---|
DC Identifier: | https://oa.upm.es/15060/ |
OAI Identifier: | oai:oa.upm.es:15060 |
Official URL: | ftp://clip.dia.fi.upm.es/pub/papers/ACCLAIM/final_... |
Deposited by: | Biblioteca Facultad de Informatica |
Deposited on: | 02 May 2013 07:08 |
Last Modified: | 27 Feb 2023 09:50 |