dc.contributor.advisor | Gadea, Alejandro Emilio | |
dc.contributor.author | Gobbi, Matías Federico | |
dc.date.accessioned | 2021-02-24T19:43:32Z | |
dc.date.available | 2021-02-24T19:43:32Z | |
dc.date.issued | 2021 | |
dc.identifier.uri | http://hdl.handle.net/11086/17366 | |
dc.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. | es |
dc.description.abstract | 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. | es |
dc.description.abstract | 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. | en |
dc.language.iso | spa | es |
dc.rights | Atribución 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by/4.0/ | * |
dc.subject | Semántica estática | es |
dc.subject | Sintaxis abstracta | es |
dc.subject | Pascal | es |
dc.subject | Parser | es |
dc.subject | Chequeos estáticos | es |
dc.subject | Software Notations and Tools | en |
dc.subject | Formal Language Definitions | en |
dc.title | Semántica estática para un lenguaje Pascal-like | es |
dc.type | bachelorThesis | es |
dc.description.fil | Fil: Gobbi, Matías Federico. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina. | es |