Análisis de programas en lenguajes funcionales paralelos
|
Descargar SCORM
Este recurso ha sido solicitado 1 veces (0 veces en los últimos 31 días).
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
|
| |
Ver
Detalles del recurso
|
|
|
Análisis de programas en lenguajes funcionales paralelos
|
| Id. |
3918302 |
| Titulo |
Análisis de programas en lenguajes funcionales paralelos |
| Autor(es) |
Segura Díaz, Clara María
|
| Localización |
http://eprints.ucm.es/tesis/mat/ucm-t25332.pdf
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
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
|
| Palabras clave |
Lenguajes de programación
|
| Tipo de recurso |
Tesis
PeerReviewed
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[References] http://eprints.ucm.es/4528/
|
| Fecha de contribución |
04-jun-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
