La Semántica Axiomática de los Lenguajes de Programación

Este objeto de aprendizaje define la semántica axiomática 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 Axiomática de los Lenguajes de Programación. http://hdl.handle.net/10251/145772