La Semantica Funcional

Author :
Publisher :
ISBN 13 :
Total Pages : 289 pages
Book Rating : 4.:/5 (914 download)

DOWNLOAD NOW!

Download or read book Semánticas formales para un lenguaje funcional paralelo written by and published by . This book was released on 2004 with total page 289 pages. Available in PDF, EPUB and Kindle. Book excerpt: El objetivo del trabajo es definir semánticas formales para un lenguaje que contiene las principales características del lenguaje funcional paralelo Eden, extensión del lenguaje funcional perezoso por excelencia, Haskell, pues Eden permite definir esquemas genéricos de proceso y crear dinámicamente ejemplares a partir de los mismos. Así como Eden presenta paralelismo explícito, la comunicación es, en cambio, implícita. En cuanto a la introducción del no-determinismo, es explícita y se limita a la invocación de un proceso predefinido. Estas características las hemos incluido en un lenguaje más simple, Jauja, y hemos procedido a definir semánticas formales para este último. La primera semántica tratada es la operacional, con un nivel de abstracción separado de las particularidades de cualquier máquina virtual. Nos dirigimos hacia enfoques basados en la semántica natural de Launchbury, como la semántica operacional que Baker-Finch y otros definieron para el lenguaje funcional paralelo GpH (Glasgow Parallel Haskell), también definido sobre Haskell pero empleando paralelismo semi-explícito. Para Jauja extendemos este modelo operacional para poder representar procesos. A partir de la semántica operacional construida, se definen medidas para estudiar la eficiencia de los programas, sobre si la introducción del paralelismo ha sido fructífera o no.Pensando en un usuario del lenguaje, hemos definido una semántica denotacional que refleja los resultados de la evaluación sin bajar tanto el nivel de abstracción. No obstante, el modelo denotacional elegido no es una semántica denotacional directa, sino un modelo denotacional de continuaciones para poder expresar la pereza de \jauja y los posibles efectos laterales producidos como resultado de la evaluación de una expresión: creación de procesos y comunicaciones subyacentes. La consideración de estos efectos laterales estará implícita en una continuación. En el trabajo también empleamos el formalismo denotacional de continuaciones para definir el significado de pH (Parallel Haskell) y de GpH. Para ambos lenguajes ya se habían definido semánticas operacionales, pero las diferencias de base de estas semánticas no permitían una comparación fácil entre los algoritmos escritos en pH, los implementados en GpH y los programados en Jauja. Por otra parte, estos tres lenguajes son representantes de los tres enfoques fundamentales de introducción de paralelismo en un lenguaje funcional, en el caso que nos ocupa Haskell: pH de paralelismo implícito, GpH de paralelismo semi-explícito y Jauja de paralelismo explícito. De modo que un mismo marco semántico (de continuaciones) nos permite comparar también estos tres paradigmas.