Semántica estática para un lenguaje Pascal-like
- Autores
- Gobbi, Matías Federico
- Año de publicación
- 2021
- Idioma
- español castellano
- Tipo de recurso
- tesis de grado
- Estado
- versión publicada
- Colaborador/a o director/a de tesis
- Gadea, Alejandro Emilio
- Descripción
- 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. - Materia
-
Semántica estática
Sintaxis abstracta
Pascal
Parser
Chequeos estáticos
Software Notations and Tools
Formal Language Definitions - Nivel de accesibilidad
- acceso abierto
- Condiciones de uso
- Repositorio
- Institución
- Universidad Nacional de Córdoba
- OAI Identificador
- oai:rdu.unc.edu.ar:11086/17366
Ver los metadatos del registro completo
id |
RDUUNC_a29681925107b5d686dc2f9b5f21b09c |
---|---|
oai_identifier_str |
oai:rdu.unc.edu.ar:11086/17366 |
network_acronym_str |
RDUUNC |
repository_id_str |
2572 |
network_name_str |
Repositorio Digital Universitario (UNC) |
spelling |
Semántica estática para un lenguaje Pascal-likeGobbi, Matías FedericoSemántica estáticaSintaxis abstractaPascalParserChequeos estáticosSoftware Notations and ToolsFormal Language DefinitionsTesis (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.Gadea, Alejandro Emilio2021info:eu-repo/semantics/bachelorThesisinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_7a1finfo:ar-repo/semantics/tesisDeGradoapplication/pdfhttp://hdl.handle.net/11086/17366spainfo:eu-repo/semantics/openAccessreponame:Repositorio Digital Universitario (UNC)instname:Universidad Nacional de Córdobainstacron:UNC2025-09-29T13:42:42Zoai:rdu.unc.edu.ar:11086/17366Institucionalhttps://rdu.unc.edu.ar/Universidad públicaNo correspondehttp://rdu.unc.edu.ar/oai/snrdoca.unc@gmail.comArgentinaNo correspondeNo correspondeNo correspondeopendoar:25722025-09-29 13:42:43.043Repositorio Digital Universitario (UNC) - Universidad Nacional de Córdobafalse |
dc.title.none.fl_str_mv |
Semántica estática para un lenguaje Pascal-like |
title |
Semántica estática para un lenguaje Pascal-like |
spellingShingle |
Semántica estática para un lenguaje Pascal-like Gobbi, Matías Federico Semántica estática Sintaxis abstracta Pascal Parser Chequeos estáticos Software Notations and Tools Formal Language Definitions |
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 |
dc.creator.none.fl_str_mv |
Gobbi, Matías Federico |
author |
Gobbi, Matías Federico |
author_facet |
Gobbi, Matías Federico |
author_role |
author |
dc.contributor.none.fl_str_mv |
Gadea, Alejandro Emilio |
dc.subject.none.fl_str_mv |
Semántica estática Sintaxis abstracta Pascal Parser Chequeos estáticos Software Notations and Tools Formal Language Definitions |
topic |
Semántica estática Sintaxis abstracta Pascal Parser Chequeos estáticos Software Notations and Tools Formal Language Definitions |
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, 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. |
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. |
publishDate |
2021 |
dc.date.none.fl_str_mv |
2021 |
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/17366 |
url |
http://hdl.handle.net/11086/17366 |
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_ |
1844618934640181248 |
score |
13.070432 |