Verificación formal del cálculo ASF en Coq

Torres Ruiz, Mateo Alberto
URI: http://132.248.52.100:8080/xmlui/handle/132.248.52.100/16892
Fecha: 2019-08-19

Resumen:

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.

Descripción:

Exposición del cálculo λSF, demostración de características principales y verificación formal de algunas de ellas.

Mostrar el registro completo del ítem

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.

Buscar en RepoFI


Búsqueda avanzada

Listar

Mi cuenta