• español
    • English
  • Self-archive
  • Browse
    • Communities & Collections
    • By Issue Date
    • Authors
    • Titles
    • Subjects
    • Document types
  • English 
    • español
    • English
  • Help
  • Login
 
View Item 
  •   Repositorio Institucional Universidad EAFIT
  • Investigación
  • Escuela de Ciencias
  • Lógica y Computación
  • Documentos de trabajo (working papers)
  • View Item
  •   Repositorio Institucional Universidad EAFIT
  • Investigación
  • Escuela de Ciencias
  • Lógica y Computación
  • Documentos de trabajo (working papers)
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

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

Thumbnail
View/Open
LoboVesga-2013.Practica-investigativa-II.Hacia-la-formalizacion-del-razonamiento-ecuacional-sobre-monadas.pdf (212.7Kb)
Date
2013-05
Author
Lobo Vesga, Elisabet
Metrics
Metadata
Show full item record
Abstract
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.
Documents PDF

loading
URI
http://hdl.handle.net/10784/4554
Collections
  • Documentos de trabajo (working papers) [8]

My Account

LoginRegister

Statistics

View Usage Statistics

universidad eafit medellin repositorio institucional

Vigilada Mineducación
Universidad con Acreditación Institucional hasta 2026
Resolución MEN 2158 de 2018

Líneas de Atención

Medellín: (57) (4) - 448 95 00
Resto del país: 01 8000 515 900
Conmutador: (57) (4) - 2619500
Carrera 49 N 7 Sur - 50
Medellín, Colombia, Suramérica

Derechos Reservados

DSpace software
copyright © 2002-2016 
Duraspace

Theme by 
@mire NV