La Semántica Operacional de Paso Grande

Este objeto de aprendizaje define la semántica operacional de paso grande de los lenguajes de programación. Explica para qué sirve esa semántica y muestra un ejemplo de semántica operacional real (para un lenguaje imperativo simple). También se propone un ejercicio para realizar, que se soluciona en el propio video. Silva Galiana, JF. (2020). La Semántica Operacional de Paso Grande. http://hdl.handle.net/10251/147095