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.

Guardado en:

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

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

Ejemplares similares