Programación estructurada matemáticamente

Jaskelioff, Mauro · SEDICI UNLP · 2011

Open-access full text

Quick overview. Review the resource’s basic details, then access the content using the main button. This page shows only the information needed to identify, cite, and open the work.

Author / responsible party

Jaskelioff, Mauro

Publisher

SEDICI UNLP

Year

2011

Language

Spanish

Resource access

Open the content from the main option or choose another available source.

SEDICI UNLP SEDICI UNLP OAI-PMH

Entrar por SEDICI UNLP

Main access

Open-access full text

Texto completo identificado como acceso abierto.

Open text

Summary

Descripción general del contenido del recurso.

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. Eje: Aspectos teóricos de Ciencias de la Computación Red de Universidades con Carreras en Informática (RedUNCI)

How to cite

Elegí el formato que necesitás y copiá la referencia al portapapeles.

APA 7

Jaskelioff, M. (2011). Programación estructurada matemáticamente. SEDICI UNLP. http://sedici.unlp.edu.ar/handle/10915/20011

MLA

Jaskelioff, Mauro. Programación estructurada matemáticamente. SEDICI UNLP, 2011. http://sedici.unlp.edu.ar/handle/10915/20011.

Chicago

Jaskelioff, Mauro. 2011. Programación estructurada matemáticamente. SEDICI UNLP. http://sedici.unlp.edu.ar/handle/10915/20011.

Harvard

Jaskelioff, M. 2011, Programación estructurada matemáticamente, SEDICI UNLP, available at: http://sedici.unlp.edu.ar/handle/10915/20011 [Accessed 7 Aug. 2026].

Share and print

Save the record, copy its permanent link, or print it as a PDF.

Export reference

You can export the record in common formats for use in a reference manager.

RIS BibTeX

Resource details

Bibliographic information to help confirm that this is the correct material.

Title: Programación estructurada matemáticamente

Author / contributors: Jaskelioff, Mauro

Publisher: SEDICI UNLP

Publication year: 2011

Language: Spanish

Subjects

Explore related resources through these subjects.

Ciencias Informáticas; Mathematics of Computing; lenguajes; semántica; Models; Software development; modelos matemáticos; modularidad