Browsing Trabajos Especiales de Licenciatura en Ciencias de la Computación by Author "Gadea, Alejandro Emilio"
Now showing items 1-2 of 2
-
Estudio de semántica categórica para lenguajes Algol-Like
Gadea, Alejandro Emilio (2013-09)Este trabajo consiste en la definición y estudio de tres lenguajes de programación. Los dos primeros serán lenguajes funcionales, uno con un sistema de tipos simple y otro con un sistema de tipos que soporta subtipado. El ... -
Semántica estática para un lenguaje Pascal-like
Gobbi, Matías Federico (2021)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 ...