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

Silva Galiana, Josep Francesc; 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. http://hdl.handle.net/10251/145772