Mostrar el registro sencillo del ítem

dc.contributor.author Torres Ruiz, Mateo Alberto
dc.date.accessioned 2019-08-19T23:48:00Z
dc.date.available 2019-08-19T23:48:00Z
dc.date.issued 2019-08-19
dc.identifier.uri http://132.248.52.100:8080/xmlui/handle/132.248.52.100/16892
dc.description Exposición del cálculo λSF, demostración de características principales y verificación formal de algunas de ellas. es_ES
dc.description.abstract Esta tesis explora un nuevo sistema formal que busca servir de base para establecer un paradigma dentro de los lenguajes de programación capaz de aliviar las tensiones existentes entre el paradigma funcional e imperativo. Dicho sistema, encarnado por el cálculo λSF es aquí expuesto en conjunto con las demostraciones de algunas de sus cualidades más importantes, así como la verificación formal de estas en el sistema Coq. es_ES
dc.language.iso es es_ES
dc.subject Coq es_ES
dc.subject Lenguajes de programación es_ES
dc.subject Cálculo λ es_ES
dc.subject Cálculo SF es_ES
dc.subject Cálculo λSF es_ES
dc.title Verificación formal del cálculo ASF en Coq es_ES
dc.type Tesis es_ES
dc.director.trabajoescrito Miranda Perea, Favio Ezequiel
dc.carrera.ingenieria Ingeniería en computación es_ES


Ficheros en el ítem

Icon
Nombre: Tesis.pdf
Tamaño: 950.8Kb
Formato: PDF
Ver/

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

  • Tesis 2019
    Trabajos escritos para obtener grado académico de licenciatura en ingeniería de 2019.

Mostrar el registro sencillo del ítem

Buscar en RepoFI


Búsqueda avanzada

Listar

Mi cuenta