Semántica estática para un lenguaje Pascal-like

Mostrar todas las versiones(2)

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

Guardado en:
Detalles Bibliográficos
Autor principal: Gobbi, Matías Federico
Otros Autores: Gadea, Alejandro Emilio
Formato: bachelorThesis
Lenguaje:Español
Publicado: 2021
Materias:
Semántica estática
Sintaxis abstracta
Pascal
Parser
Chequeos estáticos
Software Notations and Tools
Formal Language Definitions
Acceso en línea:http://hdl.handle.net/11086/17366
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba
id I10-R141-11086-17366
record_format dspace
spelling I10-R141-11086-173662023-08-31T13:19:12Z Semántica estática para un lenguaje Pascal-like Gobbi, Matías Federico Gadea, Alejandro Emilio Semántica estática Sintaxis abstracta Pascal Parser Chequeos estáticos Software Notations and Tools Formal Language Definitions Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2021. Fil: Gobbi, Matías Federico. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina. Este trabajo consiste en el diseño e implementación de un lenguaje de programación estructurado basado en el lenguaje Pascal, orientado al aprendizaje de algoritmos y estructura de datos. El mismo es utilizado actualmente en una materia de la FaMAF, contando con una definición informal. Existe una sintaxis concreta relativamente consolidada aunque no especificada, y la semántica está definida de manera intuitiva. En el trabajo se estudió la información disponible a partir del dictado de la materia obteniendo una definición formal de la sintaxis abstracta, en conjunto con la definición de varios chequeos estáticos, como el sistema de tipos. This work consists of the design and implementation of a structured programming language based on the Pascal language, oriented to the learning of algorithms and data structure. It is currently used in a FaMAF subject, with an informal definition. There is a relatively well established but unspecified concrete syntax, and the semantics are intuitively defined. In the work, the information available from the dictation of the subject was studied, obtaining a formal definition of the abstract syntax, together with the definition of several static checks, such as the type system. Fil: Gobbi, Matías Federico. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina. 2021-02-24T19:43:32Z 2021-02-24T19:43:32Z 2021 bachelorThesis http://hdl.handle.net/11086/17366 spa Atribución 4.0 Internacional http://creativecommons.org/licenses/by/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 estática
Sintaxis abstracta
Pascal
Parser
Chequeos estáticos
Software Notations and Tools
Formal Language Definitions
spellingShingle Semántica estática
Sintaxis abstracta
Pascal
Parser
Chequeos estáticos
Software Notations and Tools
Formal Language Definitions
Gobbi, Matías Federico
Semántica estática para un lenguaje Pascal-like
topic_facet Semántica estática
Sintaxis abstracta
Pascal
Parser
Chequeos estáticos
Software Notations and Tools
Formal Language Definitions
description Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2021.
author2 Gadea, Alejandro Emilio
author_facet Gadea, Alejandro Emilio
Gobbi, Matías Federico
format bachelorThesis
author Gobbi, Matías Federico
author_sort Gobbi, Matías Federico
title Semántica estática para un lenguaje Pascal-like
title_short Semántica estática para un lenguaje Pascal-like
title_full Semántica estática para un lenguaje Pascal-like
title_fullStr Semántica estática para un lenguaje Pascal-like
title_full_unstemmed Semántica estática para un lenguaje Pascal-like
title_sort semántica estática para un lenguaje pascal-like
publishDate 2021
url http://hdl.handle.net/11086/17366
work_keys_str_mv AT gobbimatiasfederico semanticaestaticaparaunlenguajepascallike
_version_ 1782014419671187456

Ejemplares similares