Specialization and optimization of constraint programs with dynamic scheduling

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.

Description

Title: Specialization and optimization of constraint programs with dynamic scheduling
Author/s:
  • Puebla Sánchez, Alvaro Germán
  • Hermenegildo, Manuel V.
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

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (700kB) | Preview

Abstract

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.

More information

Item ID: 15060
DC Identifier: http://oa.upm.es/15060/
OAI Identifier: oai:oa.upm.es:15060
Official URL: ftp://clip.dia.fi.upm.es/pub/papers/ACCLAIM/final_review/DIRECTORY.html
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 02 May 2013 07:08
Last Modified: 21 Apr 2016 15:09
  • 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