Hacia la formalización del razonamiento ecuacional sobre mónadas
| dc.contributor.author | Lobo Vesga, Elisabet | |
| dc.contributor.eafitauthor | Elisabet Lobo Vesga (elobove@eafit.edu.co) | spa |
| dc.date.accessioned | 2014-12-11T13:36:15Z | |
| dc.date.available | 2014-12-11T13:36:15Z | |
| dc.date.issued | 2013-05 | |
| dc.description | Una de las grandes ventajas de los lenguajes funcionales puros es que permiten ser razonados ecuacionalmente, de esta forma, se facilita la verificación de su corrección. Pero esta pureza impide los efectos computacionales necesarios para que este tipo de programas tengan interacción alguna, es por esto que las funciones monádicas, que se encargan de encapsular estos efectos y así conservar la pureza, representan una estructura importante dentro de los lenguajes funcionales. Sin embargo, debido a que las mónadas poseen una estructura imperativa, no se ha podido establecer un enfoque aceptado para razonar ecuacionalmente sobre éstas. Por tanto, se pretende formalizar (desde un punto de vista computacional) en Agda la propuesta realizada por Gibbons y Hinze en [7] minimizando así los errores en los pasos de cada una de las demostraciones. Así pues, se presentan los conceptos básicos que permitan comprender cómo se razona sobre los programas y se muestra mediante un ejemplo la posibilidad de formalizar este razonamiento. | spa |
| dc.identifier.uri | http://hdl.handle.net/10784/4554 | |
| dc.language.iso | spa | spa |
| dc.publisher | Universidad EAFIT | spa |
| dc.publisher.department | Universidad EAFIT. Escuela de Ciencias y Humanidades. Grupo de Investigación Lógica y Computación | spa |
| dc.publisher.program | Grupo de Investigación Lógica y Computación | spa |
| dc.rights.accessrights | info:eu-repo/semantics/openAccess | spa |
| dc.rights.local | Acceso abierto | spa |
| dc.subject | Razonamiento ecuacional | spa |
| dc.subject | mónadas | spa |
| dc.subject | formalización | spa |
| dc.subject | asistente de pruebas | spa |
| dc.title | Hacia la formalización del razonamiento ecuacional sobre mónadas | spa |
| dc.type | workingPaper | eng |
| dc.type.hasVersion | draft | spa |
| dc.type.local | Documento de trabajo de investigación | spa |
Archivos
Bloque original
1 - 1 de 1
No hay miniatura disponible
- Nombre:
- LoboVesga-2013.Practica-investigativa-II.Hacia-la-formalizacion-del-razonamiento-ecuacional-sobre-monadas.pdf
- Tamaño:
- 212.76 KB
- Formato:
- Adobe Portable Document Format
- Descripción:
Bloque de licencias
1 - 1 de 1
No hay miniatura disponible
- Nombre:
- license.txt
- Tamaño:
- 2.5 KB
- Formato:
- Item-specific license agreed upon to submission
- Descripción: