Técnicas de transformación de programas lógicos para su optimización y paralelización automática

Bueno Carrillo, Francisco (1994). Técnicas de transformación de programas lógicos para su optimización y paralelización automática. Tesis (Doctoral), Facultad de Informática (UPM) [antigua denominación].

Descripción

Título: Técnicas de transformación de programas lógicos para su optimización y paralelización automática
Autor/es:
  • Bueno Carrillo, Francisco
Director/es:
  • Hermenegildo Salinas, Manuel
Tipo de Documento: Tesis (Doctoral)
Fecha: Junio 1994
Materias:
Palabras Clave Informales: INTELIGENCIA ARTIFICIAL; LENGUAJES DE PROGRAMACION; CIENCIA DE LOS ORDENADORES; MATEMATICAS;
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 (5MB) | Vista Previa

Resumen

La tesis propone transformaciones de programas lógicos que tienen por objetivo su optimización mediante la explotación del paralelismo en su ejecución. Se estudia el método consistente en aunar el análisis y la transformación de los programas, y se emplean como principio optimizador distintas nociones de independencia. La tesis comienza con el estudio, primero metodológico y luego experimental, de algoritmos de transformación previamente propuestos, para la paralelizacion a nivel de meta. El estudio identifica y propone posibles extensiones a los algoritmos, asi como otros nuevos, comparandolos mediante una serie de pruebas experimentales. A continuacion se discute la aplicabilidad del método a formas mas evolucionadas de la programación lógica, cuales son la programación lógica concurrente, con restricciones, y concurrente con restricciones. En primer lugar, se presenta un esquema de transformación de programas Prolog a programas AKL, el cual incorpora técnicas que permiten explotar el paralelismo (basado en independencia) de forma completa en el lenguaje destino. En una segunda parte de la tesis, se desarrolla una semántica formal capaz de expresar el significado operacional de prácticamente toda la familia de los lenguajes lógicos. Esta semántica permite captar el concepto de independencia a niveles de granularidad mucho mas finos que el clasico nivel de meta, lo cual da pie a identificar posibles optimizaciones aplicables a los programas lógicos, de uno y otro tipo, a niveles completamente nuevos en el computo. Para sacar partido de tales optimizaciones, se definen esquemas de transformación a un lenguaje destino "kernel" que hacen posible la explotación de las mismas.

Más información

ID de Registro: 474
Identificador DC: http://oa.upm.es/474/
Identificador OAI: oai:oa.upm.es:474
Depositado por: Archivo Digital UPM
Depositado el: 27 Jul 2007
Ultima Modificación: 20 Abr 2016 06:19
  • 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