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

Bueno Carrillo, Francisco and Debray, S.K. and García de la Banda, M. and Hermenegildo, Manuel V. (1995). Transformation�based implementation and optimization of programs exploiting the basic Andorra model.. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, Spain.

Description

Title: Transformation�based implementation and optimization of programs exploiting the basic Andorra model.
Author/s:
  • Bueno Carrillo, Francisco
  • Debray, S.K.
  • García de la Banda, M.
  • Hermenegildo, Manuel V.
Item Type: Monograph (Technical Report)
Date: June 1995
Subjects:
Freetext Keywords: 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.
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 (745kB) | Preview

Abstract

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.

More information

Item ID: 21981
DC Identifier: http://oa.upm.es/21981/
OAI Identifier: oai:oa.upm.es:21981
Official URL: http://clip.dia.fi.upm.es/clippubsbyyear/node20.html
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 17 Dec 2013 15:37
Last Modified: 21 Apr 2016 12:53
  • 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