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

Gobbi, Matías Federico; Gadea, Alejandro Emilio

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

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.

Saved in:

Bibliographic Details
Main Author:	Gobbi, Matías Federico
Other Authors:	Gadea, Alejandro Emilio
Format:	Fil: Fil: Gobbi, Matías Federico. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina. biblioteca
Language:	spa
Published:	2021
Subjects:	Semántica estática, Sintaxis abstracta, Pascal, Parser, Chequeos estáticos, Software Notations and Tools, Formal Language Definitions,
Online Access:	http://hdl.handle.net/11086/17366
Tags:	Add Tag No Tags, Be the first to tag this record!

id	dig-unc-ar-11086-17366
record_format	koha
spelling	dig-unc-ar-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: 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	UNC AR
collection	DSpace
country	Argentina
countrycode	AR
component	Bibliográfico
access	En linea
databasecode	dig-unc-ar
tag	biblioteca
region	America del Sur
libraryname	Biblioteca 'Ing. Agrónomo Moisés Farber' de la Facultad de Ciencias Agropecuarias
language	spa
topic	Semántica estática Sintaxis abstracta Pascal Parser Chequeos estáticos Software Notations and Tools Formal Language Definitions 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 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
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	Fil: Fil: Gobbi, Matías Federico. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.
topic_facet	Semántica estática Sintaxis abstracta Pascal Parser Chequeos estáticos Software Notations and Tools Formal Language Definitions
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_	1775947157135687680

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

Similar Items

Resource Map