Programación estructurada matemáticamente

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 distinto...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Jaskelioff, Mauro
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2011
Materias:
Ciencias Informáticas
Mathematics of Computing
lenguajes
semántica
Models
Software development
modelos matemáticos
modularidad
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/20011
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-20011
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
Mathematics of Computing
lenguajes
semántica
Models
Software development
modelos matemáticos
modularidad
spellingShingle Ciencias Informáticas
Mathematics of Computing
lenguajes
semántica
Models
Software development
modelos matemáticos
modularidad
Jaskelioff, Mauro
Programación estructurada matemáticamente
topic_facet Ciencias Informáticas
Mathematics of Computing
lenguajes
semántica
Models
Software development
modelos matemáticos
modularidad
description 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.
format Objeto de conferencia
Objeto de conferencia
author Jaskelioff, Mauro
author_facet Jaskelioff, Mauro
author_sort Jaskelioff, Mauro
title Programación estructurada matemáticamente
title_short Programación estructurada matemáticamente
title_full Programación estructurada matemáticamente
title_fullStr Programación estructurada matemáticamente
title_full_unstemmed Programación estructurada matemáticamente
title_sort programación estructurada matemáticamente
publishDate 2011
url http://sedici.unlp.edu.ar/handle/10915/20011
work_keys_str_mv AT jaskelioffmauro programacionestructuradamatematicamente
bdutipo_str Repositorios
_version_ 1764820464965779457

Ejemplares similares