Verificación formal del cálculo ASF en Coq
| dc.carrera.ingenieria | Ingeniería en computación | es_ES |
| 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.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.director.trabajoescrito | Miranda Perea, Favio Ezequiel | |
| dc.identifier.uri | http://132.248.52.100:8080/xmlui/handle/132.248.52.100/16892 | |
| 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 |