Programación estructurada matemáticamente

Jaskelioff, Mauro · SEDICI UNLP · 2011

Testo completo ad accesso aperto

Lettura rapida. Controlla i dati essenziali della risorsa e accedi al contenuto con il pulsante principale. La scheda mostra solo le informazioni necessarie per identificare, citare e aprire l’opera.

Autore / responsabile

Jaskelioff, Mauro

Editore

SEDICI UNLP

Anno

2011

Lingua

Español

Accesso alla risorsa

Apri il contenuto dall’opzione principale o scegli un’altra fonte disponibile.

SEDICI UNLP SEDICI UNLP OAI-PMH

Entrar por SEDICI UNLP

Accesso principale

Testo completo ad accesso aperto

Texto completo identificado como acceso abierto.

Apri testo

Riepilogo

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)

Come citare

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 8 Aug. 2026].

Condividi e stampa

Salva la scheda, copia il link permanente o stampala in PDF.

Esporta riferimento

Esporta il record nei formati più comuni per usarlo con un gestore bibliografico.

RIS BibTeX

Dettagli della risorsa

Informazioni bibliografiche utili per verificare che sia il materiale corretto.

Titolo: Programación estructurada matemáticamente

Autore / collaboratori: Jaskelioff, Mauro

Editore: SEDICI UNLP

Anno di pubblicazione: 2011

Lingua: Español

Soggetti

Esplora risorse correlate a partire da questi soggetti.

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