Subir material

Suba sus trabajos a SEDICI, para mejorar notoriamente su visibilidad e impacto

 

Programación estructurada matemáticamente

2011
 
Tipo de documento: Objeto de conferencia

Resumen

Los lenguajes de programación modernos poseen características que aumentan considerablemente su poder expresivo. Este poder expresivo permite la internalización de las estructuras matemáticas que sustentan la semántica de los lenguajes. Dichas estructuras proveen abstracciones que facilitan distintos aspectos del desarrollo de software, como ser modularidad, optimización, seguridad y verificación. Nos proponemos investigar las propiedades y aplicaciones de estructuras tales como mónadas, arrows, y functores aplicativos.

Notas

Eje: Aspectos teóricos de Ciencias de la Computación

Información general

Fecha de exposición: mayo 2011
Fecha de publicación: 2011
Idioma del documento: Español
Evento: XIII Workshop de Investigadores en Ciencias de la Computación
Institución de origen: Red de Universidades con Carreras en Informática (RedUNCI)
ISBN: 978-950-673-892-1
Páginas: 234-238

Descargar archivos

Thumbnail
Documento completo
Descargar archivo (137.0Kb) - PDF
 
Creado el: 22 de agosto de 2012
Disponible en SEDICI desde: 22 de agosto de 2012
Por favor, utilice uno de estos identificadores(URI) para citar o enlazar este ítem:
  • http://sedici.unlp.edu.ar/handle/10915/20011

    • Este ítem aparece en la(s) siguiente(s) colección(ones)

    Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) Excepto donde se diga explícitamente, este item se publica bajo la siguiente licencia Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)