An automatic translation scheme from CLP to AKL

Bueno Carrillo, Francisco y Hermenegildo, Manuel V. (1995). An automatic translation scheme from CLP to AKL. Monografía (Artículo de trabajo). Facultad de Informática (UPM) [antigua denominación], Madrid, Spain.

Descripción

Título: An automatic translation scheme from CLP to AKL
Autor/es:
  • Bueno Carrillo, Francisco
  • Hermenegildo, Manuel V.
Tipo de Documento: Monográfico (Informes, Documentos de trabajo, etc.) (Artículo de trabajo)
Fecha: Junio 1995
Materias:
Palabras Clave Informales: Constraints, Concurrent constraint programming, AKL, Program Transformation, Limitaciones, Programación restringida concurrente, Transformación de programas.
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 (1MB) | Vista Previa

Resumen

The Andorra Kernel language scheme was aimed, in principle, at simultaneously supporting the programming styles of Prolog and committed choice languages. Within the constraint programming paradigm, this family of languages could also in principle support the concurrent constraint paradigm. This happens for the Agents Kernel Language (AKL). On the other hand, AKL requires a somewhat detailed specification of control by the user. This could be avoided by programming in CLP to run on AKL. However, CLP programs cannot be executed directly on AKL. This is due to a number of factors, from more or less trivial syntactic differences to more involved issues such as the treatment of cut and making the exploitation of certain types of parallelism possible. This paper provides a translation scheme which is a basis of an automatic compiler of CLP programs into AKL, which can bridge those differences. In addition to supporting CLP, our style of translation achieves independent and-parallel execution where possible, which is relevant since this type of parallel execution preserves, through the translation, the user-perceived "complexity" of the original program.

Más información

ID de Registro: 15064
Identificador DC: http://oa.upm.es/15064/
Identificador OAI: oai:oa.upm.es:15064
URL Oficial: http://www.cliplab.org
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 05 May 2013 07:38
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