Specialization and optimization of constraint programs with dynamic scheduling

Puebla Sánchez, Alvaro Germán y Hermenegildo, Manuel V. (1995). Specialization and optimization of constraint programs with dynamic scheduling. Monografía (Artículo de trabajo). Facultad de Informática (UPM) [antigua denominación], Madrid, Spain.

Descripción

Título: Specialization and optimization of constraint programs with dynamic scheduling
Autor/es:
  • Puebla Sánchez, Alvaro Germán
  • Hermenegildo, Manuel V.
Tipo de Documento: Monográfico (Informes, Documentos de trabajo, etc.) (Artículo de trabajo)
Fecha: Septiembre 1995
Materias:
Palabras Clave Informales: 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.
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Inteligencia Artificial
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (700kB) | Vista Previa

Resumen

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.

Más información

ID de Registro: 15060
Identificador DC: http://oa.upm.es/15060/
Identificador OAI: oai:oa.upm.es:15060
URL Oficial: ftp://clip.dia.fi.upm.es/pub/papers/ACCLAIM/final_review/DIRECTORY.html
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 02 May 2013 07:08
Ultima Modificación: 21 Abr 2016 15:09
  • 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