Introduccion A La Semantica Funcional PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Introduccion A La Semantica Funcional PDF full book. Access full book title Introduccion A La Semantica Funcional by Salvador Gutiérrez Ordóñez. Download full books in PDF and EPUB format.
Author: Salvador Gutiérrez Ordóñez
Publisher:
ISBN:
Category :
Languages : es
Pages :
Get Book Here
Book Description
Author: Salvador Gutiérrez Ordóñez
Publisher:
ISBN:
Category :
Languages : es
Pages :
Get Book Here
Book Description
Author: Salvador Gutiérrez Ordóñez
Publisher:
ISBN: 9788477380733
Category : Literary Criticism
Languages : es
Pages : 168
Get Book Here
Book Description
Author: Adam Schaff
Publisher:
ISBN:
Category :
Languages : es
Pages : 402
Get Book Here
Book Description
Author: Angel Raimundo Fernández González
Publisher:
ISBN:
Category : Language Arts & Disciplines
Languages : es
Pages : 268
Get Book Here
Book Description
Author: Claude Germain
Publisher:
ISBN:
Category : Semantics
Languages : es
Pages : 232
Get Book Here
Book Description
Author: Javier Gutiérrez-Rexach
Publisher: Routledge
ISBN: 131749802X
Category : Foreign Language Study
Languages : en
Pages : 1774
Get Book Here
Book Description
The Enciclopedia de Linguistica Hispánica provides comprehensive coverage of the major and subsidiary fields of Spanish linguistics. Entries are extensively cross-referenced and arranged alphabetically within three main sections: Part 1 covers linguistic disciplines, approaches and methodologies. Part 2 brings together the grammar of Spanish, including subsections on phonology, morphology, syntax and semantics. Part 3 brings together the historical, social and geographical factors in the evolution of Spanish. Drawing on the expertise of a wide range of contributors from across the Spanish-speaking world the Enciclopedia de Linguistica Hispánica is an indispensable reference for undergraduate and postgraduate students of Spanish, and for anyone with an academic or professional interest in the Spanish language/Spanish linguistics.
Author: Fernando García Murga
Publisher:
ISBN:
Category : Grammar, Comparative and general
Languages : es
Pages : 344
Get Book Here
Book Description
Author: F. H. George
Publisher:
ISBN: 9788424500894
Category : Semantica
Languages : es
Pages : 195
Get Book Here
Book Description
Author: Adam Schaff
Publisher:
ISBN:
Category : Semantica
Languages : es
Pages : 402
Get Book Here
Book Description
Author:
Publisher:
ISBN:
Category :
Languages : es
Pages : 289
Get Book Here
Book Description
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.
