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

Título: Semántica Estática para un lenguaje Pascal-like

Autor: Matías Federico Gobbi

Director: Dr. Alejandro Emilio Gadea

Fecha y horario: lunes 14 diciembre, 15:00 hs

Dirección de la plataforma: https://meet.google.com/cco-hipm-mxm

Resumen: El 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 facultad, 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.