Título: La Semántica Axiomática de los Lenguajes de Programación Descripció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. Autor/a: Silva Galiana Josep Francesc Curso: Este vídeo es el 4/4 del curso Semántica de los Lenguajes de Programación. •SemánticadelosLenguajesdeProgramación Universitat Politècnica de València UPV: Más vídeos en: /valenciaupv Accede a nuestros MOOC: #Semántica axiomática #Lenguajes de programación #3304 - Tecnología de los ordenadores (microelectrónica)
