Formalización de mónadas concurrentes en Agda: un análisis del caso de la mónada Delay
| dc.contributor.advisor | Rivas, Exequiel | |
| dc.creator | Bini, Valentina María | |
| dc.date.accessioned | 2024-07-30T17:19:11Z | |
| dc.date.available | 2024-07-30T17:19:11Z | |
| dc.date.issued | 2023-12 | |
| dc.description.abstract | En los últimos años, la concurrencia ha cobrado mucha importancia en el mundo de la programación, sobre todo debido a la masificación de los procesadores con múltiples núcleos. Los lenguajes de programación funcional, en general, proveen la capacidad de concurrencia mediante funciones ad-hoc, y no mediante primitivas bien fundadas del lenguaje. En este trabajo se presenta una formalización del concepto de mónada concurrente en el lenguaje y asistente de pruebas Agda, así como también otras formalizaciones de conceptos previos como las mónadas, los funtores monoidales y los monoides concurrentes. Luego se analiza el caso particular de la mónada delay, con el objetivo de probar o refutar que esta puede dotarse de una estructura de mónada concurrente. La principal dificultad que se encontró a la hora de realizar esta prueba es la demostración de la ley de intercambio. Se buscó entonces una simplificación del problema y se demostró que los números conaturales forman un monoide concurrente, obteniendo luego una mónada concurrente alternativa a delay: la mónada writer con los conaturales como monoide. | |
| dc.description.fil | Fil: Bini, Valentina María. Universidad Nacional de Rosario. Facultad de Ciencias Exactas, Ingeniería y Agrimensura; Argentina. | |
| dc.description.peerreviewed | Peer reviewed | |
| dc.description.version | peerreviewed | |
| dc.identifier.uri | https://hdl.handle.net/2133/27480 | |
| dc.language.iso | es | |
| dc.rights | openAccess | |
| dc.rights.holder | Bini, Valentina María | |
| dc.rights.uri | http://creativecommons.org/licenses/by-sa/4.0/ | |
| dc.subject | Mónadas | |
| dc.subject | Programación funcional | |
| dc.subject | Concurrencia | |
| dc.subject | Coinducción | |
| dc.title | Formalización de mónadas concurrentes en Agda: un análisis del caso de la mónada Delay | |
| dc.type | tesis | |
| dc.type.collection | tesis | |
| dc.type.other | tesis de grado | |
| dc.type.version | acceptedVersion | |
| lom.educational.context | grado | |
| lom.educational.difficulty | mediana dificultad | |
| lom.educational.typicalAgeRange | adultos |
Archivos
Bloque original
1 - 1 de 1
Cargando...
- Nombre:
- Tesis de Licenciatura en Ciencias de la Computación. Bini, Valentina María.pdf
- Tamaño:
- 1.03 MB
- Formato:
- Adobe Portable Document Format
Bloque de licencias
1 - 1 de 1
- Nombre:
- license.txt
- Tamaño:
- 3.87 KB
- Formato:
- Item-specific license agreed upon to submission
- Descripción: