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

Autores
Gadea, Alejandro Emilio
Año de publicación
2013
Idioma
español castellano
Tipo de recurso
tesis de grado
Estado
versión publicada
Colaborador/a o director/a de tesis
Pagano, Miguel María
Descripción
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.
Materia
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
Nivel de accesibilidad
acceso abierto
Condiciones de uso
Repositorio
Repositorio Digital Universitario (UNC)
Institución
Universidad Nacional de Córdoba
OAI Identificador
oai:rdu.unc.edu.ar:11086/551653
Acceder
id RDUUNC_abfdf801de08d484de0117d4fa6b0114
oai_identifier_str oai:rdu.unc.edu.ar:11086/551653
network_acronym_str RDUUNC
repository_id_str 2572
network_name_str Repositorio Digital Universitario (UNC)
spelling Estudio de semántica categórica para lenguajes Algol-LikeGadea, Alejandro EmilioSemántica de lenguajes de programaciónSemántica denotacionalLógica matemáticaCálculo lambda y sistemas relacionadosCategoríasCategoría funtorialSemantics of programming languagesDenotational semanticsMathematical logicLambda calculus and related systemsStack disciplineTesis (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.Pagano, Miguel María2013-09info:eu-repo/semantics/bachelorThesisinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_7a1finfo:ar-repo/semantics/tesisDeGradoapplication/pdfhttp://hdl.handle.net/11086/551653spainfo:eu-repo/semantics/openAccessreponame:Repositorio Digital Universitario (UNC)instname:Universidad Nacional de Córdobainstacron:UNC2025-10-23T11:17:45Zoai:rdu.unc.edu.ar:11086/551653Institucionalhttps://rdu.unc.edu.ar/Universidad públicaNo correspondehttp://rdu.unc.edu.ar/oai/snrdoca.unc@gmail.comArgentinaNo correspondeNo correspondeNo correspondeopendoar:25722025-10-23 11:17:45.936Repositorio Digital Universitario (UNC) - Universidad Nacional de Córdobafalse
dc.title.none.fl_str_mv Estudio de semántica categórica para lenguajes Algol-Like
title Estudio de semántica categórica para lenguajes Algol-Like
spellingShingle Estudio de semántica categórica para lenguajes Algol-Like
Gadea, Alejandro Emilio
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
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
dc.creator.none.fl_str_mv Gadea, Alejandro Emilio
author Gadea, Alejandro Emilio
author_facet Gadea, Alejandro Emilio
author_role author
dc.contributor.none.fl_str_mv Pagano, Miguel María
dc.subject.none.fl_str_mv 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
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
dc.description.none.fl_txt_mv 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.
description Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2013.
publishDate 2013
dc.date.none.fl_str_mv 2013-09
dc.type.none.fl_str_mv info:eu-repo/semantics/bachelorThesis
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_7a1f
info:ar-repo/semantics/tesisDeGrado
format bachelorThesis
status_str publishedVersion
dc.identifier.none.fl_str_mv http://hdl.handle.net/11086/551653
url http://hdl.handle.net/11086/551653
dc.language.none.fl_str_mv spa
language spa
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositorio Digital Universitario (UNC)
instname:Universidad Nacional de Córdoba
instacron:UNC
reponame_str Repositorio Digital Universitario (UNC)
collection Repositorio Digital Universitario (UNC)
instname_str Universidad Nacional de Córdoba
instacron_str UNC
institution UNC
repository.name.fl_str_mv Repositorio Digital Universitario (UNC) - Universidad Nacional de Córdoba
repository.mail.fl_str_mv oca.unc@gmail.com
_version_ 1846785289016573952
score 12.982451

Publicaciones similares