Transformation�based implementation and optimization of programs exploiting the basic Andorra model.

Bueno Carrillo, Francisco; Debray, S.K.; García de la Banda, M. y Hermenegildo, Manuel V. (1995). Transformation�based implementation and optimization of programs exploiting the basic Andorra model.. Monografía (Informe Técnico). Facultad de Informática (UPM) [antigua denominación], Madrid, Spain.

Descripción

Título: Transformation�based implementation and optimization of programs exploiting the basic Andorra model.
Autor/es:
  • Bueno Carrillo, Francisco
  • Debray, S.K.
  • García de la Banda, M.
  • Hermenegildo, Manuel V.
Tipo de Documento: Monográfico (Informes, Documentos de trabajo, etc.) (Informe Técnico)
Fecha: Junio 1995
Materias:
Palabras Clave Informales: Logic programming,� Concurrent programming,� Andorra model,� Program transforma�tion, Language implementation, Programación lógica, Programación simultánea, Modelo Andorra, Transforamción de programas, Implementación de lenguajes.
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 (745kB) | Vista Previa

Resumen

The characteristics of CC and CLP systems are in principle very dierent However a recent trend towards convergence in the implementation techniques for these systems can be observed While CLP and Prolog systems have been incorporating capabilities to deal with userdened suspension and coroutining CC compilers have been trying to coalesce negrained tasks into coarsergrained sequential threads This convergence of techniques opens up the possibility of having a general purpose kernel language and abstract machine to serve as a compilation target for a variety of userlevel languages We propose a transformation technique directed towards such an objective In particular we report on techniques to support the Andorra computational model essentially emulating the AndorraI system via program transformation into a sequential language with delay primitives The system is automatic comprising an optional program analyzer and a basic transformer to the kernel language It turns out that a simple parallel CLP or Prolog system with dynamic scheduling is sucient as a kernel language for this purpose The preliminary results are quite encouraging performance of the resulting system is comparable to the current AndorraI implementation.

Más información

ID de Registro: 21981
Identificador DC: http://oa.upm.es/21981/
Identificador OAI: oai:oa.upm.es:21981
URL Oficial: http://clip.dia.fi.upm.es/clippubsbyyear/node20.html
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 17 Dic 2013 15:37
Ultima Modificación: 21 Abr 2016 12:53
  • 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