dc.contributor.advisor | Pagano, Miguel María | |
dc.contributor.author | Gadea, Alejandro Emilio | |
dc.date.accessioned | 2024-04-29T15:26:16Z | |
dc.date.available | 2024-04-29T15:26:16Z | |
dc.date.issued | 2013-09 | |
dc.identifier.uri | http://hdl.handle.net/11086/551653 | |
dc.description | Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2013. | es |
dc.description.abstract | Este trabajo consiste en la definición y estudio de tres lenguajes de programación. Los dos primeros serán lenguajes funcionales, uno con un sistema de tipos simple y otro con un sistema de tipos que soporta subtipado. El tercero es un lenguaje funcional con aspectos imperativos, perteneciente a la clase de lenguajes Algol-Like. Para la definición semántica se utiliza teoría de categorías, en particular en la definición de los modelos semánticos. Siguiendo propuestas de Reynolds y Oles, utilizamos categorías funtoriales para el lenguaje Algol-like. Además se presentan las pruebas de ciertas propiedades deseables de las modelos semánticos dados: para el primer lenguaje nos enfocamos en la continuidad de las ecuaciones semánticas y en la corrección de la reducción;en el segundo lenguaje, desarrollamos la prueba de coherencia para diferentes derivaciones del mismo juicio; y para el tercero, probamos la naturalidad de las ecuaciones semánticas. El trabajo teórico estuvo acompañado de la implementación de evaluadores en Idris, un lenguaje con tipos dependientes. | es |
dc.language.iso | spa | es |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 International | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.subject | Semántica de lenguajes de programación | es |
dc.subject | Semántica denotacional | es |
dc.subject | Lógica matemática | es |
dc.subject | Cálculo lambda y sistemas relacionados | es |
dc.subject | Categorías | es |
dc.subject | Categoría funtorial | es |
dc.subject | Semantics of programming languages | es |
dc.subject | Denotational semantics | es |
dc.subject | Mathematical logic | es |
dc.subject | Lambda calculus and related systems | es |
dc.subject | Stack discipline | es |
dc.title | Estudio de semántica categórica para lenguajes Algol-Like | es |
dc.type | bachelorThesis | es |
dc.description.fil | Fil: Gadea, Alejandro Emilio. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina. | es |