Silva Galiana, Josep Francesc(Universitat Politècnica de València, 2020-06-09)
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). ...