Estudio de semántica categórica para lenguajes Algol-Like

Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2013.

Detalles Bibliográficos
Autor principal: Gadea, Alejandro Emilio
Otros Autores: Pagano, Miguel María
Formato: bachelorThesis
Lenguaje:Español
Publicado: 2024
Materias:
Semántica de lenguajes de programación
Semántica denotacional
Lógica matemática
Cálculo lambda y sistemas relacionados
Categorías
Categoría funtorial
Semantics of programming languages
Denotational semantics
Mathematical logic
Lambda calculus and related systems
Stack discipline
Acceso en línea:http://hdl.handle.net/11086/551653
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba
id I10-R141-11086-551653
record_format dspace
spelling I10-R141-11086-5516532024-04-30T06:37:13Z Estudio de semántica categórica para lenguajes Algol-Like Gadea, Alejandro Emilio Pagano, Miguel María Semántica de lenguajes de programación Semántica denotacional Lógica matemática Cálculo lambda y sistemas relacionados Categorías Categoría funtorial Semantics of programming languages Denotational semantics Mathematical logic Lambda calculus and related systems Stack discipline Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2013. Fil: Gadea, Alejandro Emilio. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina. 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. Fil: Gadea, Alejandro Emilio. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina. 2024-04-29T15:26:16Z 2024-04-29T15:26:16Z 2013-09 bachelorThesis http://hdl.handle.net/11086/551653 spa Attribution-NonCommercial-NoDerivatives 4.0 International http://creativecommons.org/licenses/by-nc-nd/4.0/
institution Universidad Nacional de Córdoba
institution_str I-10
repository_str R-141
collection Repositorio Digital Universitario (UNC)
language Español
topic Semántica de lenguajes de programación
Semántica denotacional
Lógica matemática
Cálculo lambda y sistemas relacionados
Categorías
Categoría funtorial
Semantics of programming languages
Denotational semantics
Mathematical logic
Lambda calculus and related systems
Stack discipline
spellingShingle Semántica de lenguajes de programación
Semántica denotacional
Lógica matemática
Cálculo lambda y sistemas relacionados
Categorías
Categoría funtorial
Semantics of programming languages
Denotational semantics
Mathematical logic
Lambda calculus and related systems
Stack discipline
Gadea, Alejandro Emilio
Estudio de semántica categórica para lenguajes Algol-Like
topic_facet Semántica de lenguajes de programación
Semántica denotacional
Lógica matemática
Cálculo lambda y sistemas relacionados
Categorías
Categoría funtorial
Semantics of programming languages
Denotational semantics
Mathematical logic
Lambda calculus and related systems
Stack discipline
description Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2013.
author2 Pagano, Miguel María
author_facet Pagano, Miguel María
Gadea, Alejandro Emilio
format bachelorThesis
author Gadea, Alejandro Emilio
author_sort Gadea, Alejandro Emilio
title Estudio de semántica categórica para lenguajes Algol-Like
title_short Estudio de semántica categórica para lenguajes Algol-Like
title_full Estudio de semántica categórica para lenguajes Algol-Like
title_fullStr Estudio de semántica categórica para lenguajes Algol-Like
title_full_unstemmed Estudio de semántica categórica para lenguajes Algol-Like
title_sort estudio de semántica categórica para lenguajes algol-like
publishDate 2024
url http://hdl.handle.net/11086/551653
work_keys_str_mv AT gadeaalejandroemilio estudiodesemanticacategoricaparalenguajesalgollike
_version_ 1806949381861015552

Ejemplares similares