Concurrencia tradicional en programación funcional

La Programación Funcional pura ha madurado en los últimos quince años. Varios desarrollos, tanto en el lado teórico como en lo práctico, han producido un florecimiento del área. El lenguaje Haskell es un lenguaje avanzado de programación funcional pura y perezosa, pensado para aplicaciones del mundo...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Mocciola, Pablo Andrés
Otros Autores: Baum, Gabriel Alfredo
Formato: Tesis Tesis de grado
Lenguaje:Español
Publicado: 1998
Materias:
Ciencias Informáticas
Concurrent Programming
teoría de la programación
Languages
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/2173
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-2173
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
Concurrent Programming
teoría de la programación
Languages
spellingShingle Ciencias Informáticas
Concurrent Programming
teoría de la programación
Languages
Mocciola, Pablo Andrés
Concurrencia tradicional en programación funcional
topic_facet Ciencias Informáticas
Concurrent Programming
teoría de la programación
Languages
description La Programación Funcional pura ha madurado en los últimos quince años. Varios desarrollos, tanto en el lado teórico como en lo práctico, han producido un florecimiento del área. El lenguaje Haskell es un lenguaje avanzado de programación funcional pura y perezosa, pensado para aplicaciones del mundo real, el cual es el resultado de los mencionados desarrollos. Con el advenimiento del modelo de entrada/salida monádico, a partir de la versión 1.3 del Haskell, la cáscara de más alto nivel de los programas funcionales se caracteriza por una secuencia de comandos u operaciones imperativas que tienen reminiscencia con los programas escritos en lenguajes imperativos como Pascal. Extensiones concurrentes y paralelas de Haskell han sido desarrolladas. Concurrent Haskell, la extensión concurrente del Haskell, trabaja sobre el framework monádico. Las propiedades de los lenguajes funcionales son mantenidas adecuadamente y aseguradas por el lenguaje. Sin embargo, ningún enfoque “imperativo” sobre los lenguajes funcionales ha sido aplicado con anterioridad. Este trabajo es un experimento para aplicar la “Concurrencia Tradicional en Programación Funcional”. Mecanismos, técnicas y sistemas de pruebas son tomados de la teoría convencional de lenguajes y aplicados al estudio de la programación funcional concurrente. La presentación se divide en dos partes principales. Una de desarrollo, donde se presenta el estudio, comparación e implementación de un conjunto de mecanismos de sincronización y comunicación entre procesos concurrentes. En la segunda parte se estudia la aplicación de métodos formales para la verificación de programas funcionales imperativos y concurrentes.
author2 Baum, Gabriel Alfredo
author_facet Baum, Gabriel Alfredo
Mocciola, Pablo Andrés
format Tesis
Tesis de grado
author Mocciola, Pablo Andrés
author_sort Mocciola, Pablo Andrés
title Concurrencia tradicional en programación funcional
title_short Concurrencia tradicional en programación funcional
title_full Concurrencia tradicional en programación funcional
title_fullStr Concurrencia tradicional en programación funcional
title_full_unstemmed Concurrencia tradicional en programación funcional
title_sort concurrencia tradicional en programación funcional
publishDate 1998
url http://sedici.unlp.edu.ar/handle/10915/2173
work_keys_str_mv AT mocciolapabloandres concurrenciatradicionalenprogramacionfuncional
bdutipo_str Repositorios
_version_ 1764820464848338945

Ejemplares similares