La Semántica Operacional de Paso Pequeño

Este objeto de aprendizaje define la semántica operacional de paso pequeño 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 Pequeño. http://hdl.handle.net/10251/146560