Publicación:
Hacia la formalización del razonamiento ecuacional sobre mónadas

Vista sencilla de ítem
dc.contributor.authorLobo Vesga, Elisabet
dc.contributor.departmentUniversidad EAFIT. Escuela de Ciencias. Grupo de Investigación en Lógica y Computaciónspa
dc.contributor.eafitauthorElisabet Lobo Vesga (elobove@eafit.edu.co)spa
dc.date.accessioned2014-12-11T13:36:15Z
dc.date.available2014-12-11T13:36:15Z
dc.date.issued2013-05
dc.descriptionUna 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.urihttps://hdl.handle.net/10784/4554
dc.language.isospa
dc.publisherUniversidad EAFITspa
dc.publisher.departmentUniversidad EAFIT. Escuela de Ciencias y Humanidades. Grupo de Investigación Lógica y Computaciónspa
dc.publisher.programGrupo de Investigación Lógica y Computaciónspa
dc.rights.accessrightsinfo:eu-repo/semantics/openAccess
dc.rights.coarhttp://purl.org/coar/access_right/c_abf2
dc.rights.localAcceso abierto
dc.subjectRazonamiento ecuacionalspa
dc.subjectmónadasspa
dc.subjectformalizaciónspa
dc.subjectasistente de pruebasspa
dc.titleHacia la formalización del razonamiento ecuacional sobre mónadas
dc.typeinfo:eu-repo/semantics/workingPaper
dc.type.coarhttp://purl.org/coar/resource_type/c_8042
dc.type.coarversionhttp://purl.org/coar/version/c_b1a7d7d4d402bcce
dc.type.localDocumento de trabajo de investigaciónspa
dc.type.redcolhttp://purl.org/redcol/resource_type/WP
dc.type.versioninfo:eu-repo/semantics/draft
dspace.entity.typePublication

Archivos

Bloque original
Mostrando 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:
51.7 KB
Formato:
Adobe Portable Document Format
Descripción:
Descargar
Bloque de licencias
Mostrando 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:
Descargar

Colecciones

Documentos de trabajo (working papers)