Razonando acerca de programas funcionales

Vista sencilla de ítem
dc.contributor.authorLobo Vesga, Elisabet
dc.contributor.eafitauthorElisabet Lobo Vesga (elobove@eafit.edu.co)spa
dc.date.accessioned2014-12-11T13:36:00Z
dc.date.available2014-12-11T13:36:00Z
dc.date.issued2012-11
dc.descriptionUna de las grandes ventajas de los lenguajes funcionales puros es que permiten ser razonados ecuacionalmente, de esta forma, se facilita su depuración, vericación de la corrección, reducción, etc. 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 tales como Haskell. Sin embargo, debido a que las mónadas poseen una estructura imperativa, no se ha podido establecer una manera de poder razonar ecuacionalmente sobre éstas, el lograrlo supondría un avance significativo en lo que a verificación de programas se refiere. Por tanto, 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 razonar ecuacionalmente sobre funciones monádicas.spa
dc.identifier.urihttp://hdl.handle.net/10784/4553
dc.language.isospaspa
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/openAccessspa
dc.rights.localAcceso abiertospa
dc.subjectRazonamiento ecuacionalspa
dc.subjectmónadasspa
dc.subjectcorrecciónspa
dc.titleRazonando acerca de programas funcionalesspa
dc.typeinfo:eu-repo/semantics/workingPaper
dc.type.hasVersiondraftspa
dc.type.localDocumento de trabajo de investigaciónspa

Archivos

Bloque original
Mostrando 1 - 1 de 1
No hay miniatura disponible
Nombre:
LoboVesga-2012.Practica-investigativa-I.Razonando-acerca-de-programas-funcionales.pdf
Tamaño:
211.5 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)