Análisis de programas en lenguajes funcionales paralelos

Las tecnicas de análisis de programas se han demostrado útiles en todo tipo de lenguajes de programación para determinar de forma estática aproximaciones a las propiedades dinámicas de los programas. Sus aplicaciones incluyen la optimización y transformación de los programas, así como la demostració...

Descripción completa

Detalles Bibliográficos
Autor: Segura Díaz, Clara María
Tipo de recurso: tesis doctoral
Fecha de publicación:2004
País:España
Institución:Universidad Complutense de Madrid (UCM)
Repositorio:Docta Complutense
Idioma:español
OAI Identifier:oai:docta.ucm.es:20.500.14352/55163
Acceso en línea:https://hdl.handle.net/20.500.14352/55163
Access Level:acceso abierto
Palabra clave:Programas y sistemas de programación
Lenguajes de programación
Programación de ordenadores (Informática)
1203.23 Lenguajes de Programación
id ES_7e73cb197ba3a70206ed83e3dcbe9474
oai_identifier_str oai:docta.ucm.es:20.500.14352/55163
network_acronym_str ES
network_name_str España
repository_id_str
spelling Análisis de programas en lenguajes funcionales paralelosSegura Díaz, Clara MaríaProgramas y sistemas de programaciónLenguajes de programaciónProgramación de ordenadores (Informática)1203.23 Lenguajes de Programación1203.23 Lenguajes de ProgramaciónLas tecnicas de análisis de programas se han demostrado útiles en todo tipo de lenguajes de programación para determinar de forma estática aproximaciones a las propiedades dinámicas de los programas. Sus aplicaciones incluyen la optimización y transformación de los programas, así como la demostración o verificación de propiedades de los mismos. El desarrollo y la aplicación de las tecnicas de análisis a los lenguajes funcionales ha sido muy amplio en estas dos ultimas décadas. Esta tesis se enmarca en el área de análisis estáticos de programas aplicados a los lenguajes funcionales paralelos. La programación funcional paralela es un área de investigación intensa en la actualidad que proporciona nuevos problemas en el campo de los análisis de programas, pero es aun un área poco trabajada donde queda mucho por hacer. En esta tesis se definen tres análisis aplicados al lenguaje funcional paralelo Edén: -Análisis de conexión directa: tiene como objetivo optimizar los programas Edén reduciendo sobrecargas debidas a la creación de procesos y a la comunicación entre ellos. -Análisis de no determinismo: pretende delimitar aquellas partes de los programas Edén donde es posible mantener el razonamiento ecuacional característico de los lenguajes funcionales. -Análisis de terminación y productividad: es un sistema de demostración de propiedades de terminación y productividad de los programas Edén que garantiza la ausencia de bloqueos en ellos. Para definir estos análisis se han utilizado algunas de las tecnicas usadas en el análisis de los lenguajes funcionales: la interpretación abstracta y los sistemas de tipos anotadosUniversidad Complutense de Madrid, Servicio de PublicacionesPeña Marí, RicardoUniversidad Complutense de Madrid20042004-01-0120042004-01-01doctoral thesishttp://purl.org/coar/resource_type/c_db06info:eu-repo/semantics/doctoralThesisapplication/pdfhttps://hdl.handle.net/20.500.14352/55163reponame:Docta Complutenseinstname:Universidad Complutense de Madrid (UCM)Españolspaopen accesshttp://purl.org/coar/access_right/c_abf2info:eu-repo/semantics/openAccessoai:docta.ucm.es:20.500.14352/551632026-06-02T12:44:21Z
dc.title.none.fl_str_mv Análisis de programas en lenguajes funcionales paralelos
title Análisis de programas en lenguajes funcionales paralelos
spellingShingle Análisis de programas en lenguajes funcionales paralelos
Segura Díaz, Clara María
Programas y sistemas de programación
Lenguajes de programación
Programación de ordenadores (Informática)
1203.23 Lenguajes de Programación
1203.23 Lenguajes de Programación
title_short Análisis de programas en lenguajes funcionales paralelos
title_full Análisis de programas en lenguajes funcionales paralelos
title_fullStr Análisis de programas en lenguajes funcionales paralelos
title_full_unstemmed Análisis de programas en lenguajes funcionales paralelos
title_sort Análisis de programas en lenguajes funcionales paralelos
dc.creator.none.fl_str_mv Segura Díaz, Clara María
author Segura Díaz, Clara María
author_facet Segura Díaz, Clara María
author_role author
dc.contributor.none.fl_str_mv Peña Marí, Ricardo
Universidad Complutense de Madrid
dc.subject.none.fl_str_mv Programas y sistemas de programación
Lenguajes de programación
Programación de ordenadores (Informática)
1203.23 Lenguajes de Programación
1203.23 Lenguajes de Programación
topic Programas y sistemas de programación
Lenguajes de programación
Programación de ordenadores (Informática)
1203.23 Lenguajes de Programación
1203.23 Lenguajes de Programación
description Las tecnicas de análisis de programas se han demostrado útiles en todo tipo de lenguajes de programación para determinar de forma estática aproximaciones a las propiedades dinámicas de los programas. Sus aplicaciones incluyen la optimización y transformación de los programas, así como la demostración o verificación de propiedades de los mismos. El desarrollo y la aplicación de las tecnicas de análisis a los lenguajes funcionales ha sido muy amplio en estas dos ultimas décadas. Esta tesis se enmarca en el área de análisis estáticos de programas aplicados a los lenguajes funcionales paralelos. La programación funcional paralela es un área de investigación intensa en la actualidad que proporciona nuevos problemas en el campo de los análisis de programas, pero es aun un área poco trabajada donde queda mucho por hacer. En esta tesis se definen tres análisis aplicados al lenguaje funcional paralelo Edén: -Análisis de conexión directa: tiene como objetivo optimizar los programas Edén reduciendo sobrecargas debidas a la creación de procesos y a la comunicación entre ellos. -Análisis de no determinismo: pretende delimitar aquellas partes de los programas Edén donde es posible mantener el razonamiento ecuacional característico de los lenguajes funcionales. -Análisis de terminación y productividad: es un sistema de demostración de propiedades de terminación y productividad de los programas Edén que garantiza la ausencia de bloqueos en ellos. Para definir estos análisis se han utilizado algunas de las tecnicas usadas en el análisis de los lenguajes funcionales: la interpretación abstracta y los sistemas de tipos anotados
publishDate 2004
dc.date.none.fl_str_mv 2004
2004-01-01
2004
2004-01-01
dc.type.none.fl_str_mv doctoral thesis
http://purl.org/coar/resource_type/c_db06
dc.type.openaire.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
dc.identifier.none.fl_str_mv https://hdl.handle.net/20.500.14352/55163
url https://hdl.handle.net/20.500.14352/55163
dc.language.none.fl_str_mv Español
spa
language_invalid_str_mv Español
language spa
dc.rights.none.fl_str_mv open access
http://purl.org/coar/access_right/c_abf2
dc.rights.openaire.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv open access
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidad Complutense de Madrid, Servicio de Publicaciones
publisher.none.fl_str_mv Universidad Complutense de Madrid, Servicio de Publicaciones
dc.source.none.fl_str_mv reponame:Docta Complutense
instname:Universidad Complutense de Madrid (UCM)
instname_str Universidad Complutense de Madrid (UCM)
reponame_str Docta Complutense
collection Docta Complutense
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869411737088819200
score 15,301603

Similares en LA Referencia